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

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