src/test/ui/type-alias-impl-trait/issue-52843.rs

   1 // revisions: min_tait full_tait
   2 #![feature(min_type_alias_impl_trait)]
   3 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
   4 //[full_tait]~^ WARN incomplete
   5
   6 type Foo<T> = impl Default;
   7 //~^ ERROR: the trait bound `T: Default` is not satisfied
   8
   9 #[allow(unused)]
  10 fn foo<T: Default>(t: T) -> Foo<T> {
  11     t
  12 }
  13
  14 struct NotDefault;
  15
  16 fn main() {
  17     let _ = Foo::<NotDefault>::default();
  18 }