// check-fail// known-bug: #88460// This should pass, but has a missed normalization due to HRTB.pubtraitMarker{}pubtraitTrait{typeAssoc<'a>;}fntest<T>(value: T)whereT: Trait,for<'a>T::Assoc<'a>: Marker,{}implMarkerfor(){}structFoo;implTraitforFoo{typeAssoc<'a>=();}fnmain(){test(Foo);}