1 error: non-defining existential type use in defining scope
2 --> $DIR/existential_type4.rs:19:1
4 LL | / fn cmp() -> Cmp<u32> { //~ ERROR non-defining existential type use in defining scope
9 note: used non-generic type u32 for generic parameter
10 --> $DIR/existential_type4.rs:16:22
12 LL | existential type Cmp<T>: 'static;
15 error: aborting due to previous error