| #![feature(type_alias_impl_trait)] | |
| //@ check-pass | |
| pub trait Foo<T> {} | |
| impl<T, U> Foo<T> for U {} | |
| mod scope { | |
| pub type Scope = impl super::Foo<()>; | |
| #[allow(unused)] | |
| fn infer_scope() -> Scope { | |
| () | |
| } | |
| } | |
| #[allow(unused)] | |
| fn ice() -> impl Foo<scope::Scope> { | |
| loop {} | |
| } | |
| fn main() {} |