Key paths rooted at a protocol metatype could slip through the normal metatype checks and reach SILGen when they referenced a static property like \.foo. That left the compiler in the wrong state and could crash instead of producing a targeted error.
Teach constraint fixing to reject static member references through protocol metatype roots, add a dedicated diagnostic for that case, and consistently treat metatype bases as AnyMetatypeType during type checking and SILGen.
Madushan Gamage
e0b2f60c78