1 // Regression test for rust-lang/rust#63154
3 // Before, we would ICE after failing to normalize the destination type
4 // when checking call destinations and also when checking MIR
5 // assignment statements.
13 impl HasAssocType for () {
17 trait Tr<I, T>: Fn(I) -> Option<T> {}
18 impl<I, T, Q: Fn(I) -> Option<T>> Tr<I, T> for Q {}
20 fn f<T: HasAssocType>() -> impl Tr<T, T::Inner> {
24 fn g<T, Y>(f: impl Tr<T, Y>) -> impl Tr<T, Y> {