modtypes{useinherent::inherent;traitTrait{fnf<T: ?Sized>(self);// A default methodfng(&self){}}pubstructStruct;#[inherent(pub)]implTraitforStruct{fnf<T: ?Sized>(self){}default!{fng(&self);}}}#[test]fntest(){// types::Trait is not in scope.lets=types::Struct;s.g();s.f::<str>();}