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