2020-08-04 01:13:13 +00:00
|
|
|
// check-pass
|
2020-07-09 13:13:59 +00:00
|
|
|
#![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()
|
|
|
|
}
|