| error: at least one trait must be specified |
| --> $DIR/generic_nondefining_use.rs:5:15 |
| | |
| LL | type Cmp<T> = impl 'static; |
| | ^^^^^^^^^^^^ |
| |
| error: defining opaque type use does not fully define opaque type: generic parameter `T` is specified as concrete type `u32` |
| --> $DIR/generic_nondefining_use.rs:11:1 |
| | |
| LL | / fn cmp() -> Cmp<u32> { |
| LL | | 5u32 |
| LL | | } |
| | |_^ |
| |
| error: could not find defining uses |
| --> $DIR/generic_nondefining_use.rs:5:1 |
| | |
| LL | type Cmp<T> = impl 'static; |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| |
| error: aborting due to 3 previous errors |
| |
