There are two key methods in here.
A class representing a lazy type with known type parameters.
The companion class or companion module of
The annotations amongst those found on the original symbol which should be propagated to this kind of accessor.
A version of
Symbol#linkedClassOfClass that works with local companions, ala