2 // compile-flags: -Zsave-analysis
11 impl<T> Generic<T> for () {}
13 // Don't ICE when resolving type paths in return type `impl Trait`
14 fn assoc_in_opaque_type_bounds<U: Trait>() -> impl Generic<U::Assoc> {}
16 // Check that this doesn't ICE when processing associated const in formal
17 // argument and return type of functions defined inside function/method scope.
19 fn _inner1<U: Trait>(_: U::Assoc) {}
20 fn _inner2<U: Trait>() -> U::Assoc { unimplemented!() }
23 fn _inner1<U: Trait>(self, _: U::Assoc) {}
24 fn _inner2<U: Trait>(self) -> U::Assoc { unimplemented!() }