src/test/ui/impl-trait/type-alias-impl-trait-in-fn-body.rs

   1 // build-pass (FIXME(62277): could be check-pass?)
   2
   3 // revisions: min_tait full_tait
   4 #![feature(min_type_alias_impl_trait)]
   5 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
   6 //[full_tait]~^ WARN incomplete
   7
   8 use std::fmt::Debug;
   9
  10 fn main() {
  11     type Existential = impl Debug;
  12
  13     fn f() -> Existential {}
  14     println!("{:?}", f());
  15 }