tests/ui/type-alias-impl-trait/bound_reduction.rs

   1 // build-pass (FIXME(62277): could be check-pass?)
   2
   3 #![allow(warnings)]
   4 #![feature(type_alias_impl_trait)]
   5
   6 fn main() {
   7 }
   8
   9 type Foo<V> = impl std::fmt::Debug;
  10
  11 trait Trait<U> {}
  12
  13 fn foo_desugared<T: Trait<[u32; {
  14     #[no_mangle]
  15     static FOO: usize = 42;
  16     3
  17 }]>>(_: T) -> Foo<T> {
  18     (42, std::marker::PhantomData::<T>)
  19 }