Instance dictionaries without dynamic superclass constraints become StgRhsCons, which were not being given source spans based on the Name of the binder in GHC.Stg.Debug.collectStgRhs. Now they are, and we actually get source spans pointing to the location of the instance definition if whereFrom is called on the dictionary.
Resolves #24005 (closed)