src/test/ui/existential_types/bound_reduction.rs

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