3 #![feature(type_alias_impl_trait)]
6 // The concrete type referred by impl-trait-type-alias(`T`) is guaranteed
7 // to be the same as where it occurs, whereas `impl Trait`'s instance is location sensitive;
8 // so difference assertion should not be declared on impl-trait-type-alias's instances.
9 // for details, check RFC-2515:
10 // https://github.com/rust-lang/rfcs/blob/master/text/2515-type_alias_impl_trait.md
12 fn take(_: fn() -> T) {}