src/test/ui/type-alias-impl-trait/issue-65679-inst-opaque-ty-from-val-twice.rs

   1 // compile-flags: -Zsave-analysis
   2 // check-pass
   3
   4 #![feature(type_alias_impl_trait, rustc_attrs)]
   5
   6 type T = impl Sized;
   7 // The concrete type referred by impl-trait-type-alias(`T`) is guaranteed
   8 // to be the same as where it occurs, whereas `impl Trait`'s instance is location sensitive;
   9 // so difference assertion should not be declared on impl-trait-type-alias's instances.
  10 // for details, check RFC-2515:
  11 // https://github.com/rust-lang/rfcs/blob/master/text/2515-type_alias_impl_trait.md
  12
  13 fn take(_: fn() -> T) {}
  14
  15 fn main() {
  16     take(|| {});
  17     take(|| {});
  18 }