src/test/ui/type-alias-impl-trait/never_reveal_concrete_type.rs

   1 #![feature(type_alias_impl_trait)]
   2 // check-pass
   3 fn main() {}
   4
   5 type NoReveal = impl std::fmt::Debug;
   6
   7 fn define_no_reveal() -> NoReveal {
   8     ""
   9 }
  10
  11 fn no_reveal(x: NoReveal) {
  12     let _: &'static str = x;
  13     let _ = x as &'static str;
  14 }