// compile-pass

#![allow(warnings)]

#![feature(existential_type)]

fn main() {
}

existential type Foo<V>: std::fmt::Debug;

trait Trait<U> {}

fn foo_desugared<T: Trait<[u32; {
    #[no_mangle]
    static FOO: usize = 42;
    3
}]>>(_: T) -> Foo<T> {
    (42, std::marker::PhantomData::<T>)
}
