3dfed10e |
1 | // check-pass |
94222f64 |
2 | #![feature(type_alias_impl_trait)] |
3dfed10e XL |
3 | |
4 | pub trait ValidTrait {} |
5 | type ImplTrait = impl ValidTrait; |
6 | |
7 | /// This returns impl trait, but using a type alias |
8 | pub fn h() -> ImplTrait { |
9 | error::_in::impl_trait::alias() |
10 | } |