| error: at least one trait must be specified |
| --> $DIR/generic_underconstrained2.rs:5:45 |
| | |
| LL | type Underconstrained<T: std::fmt::Debug> = impl 'static; |
| | ^^^^^^^^^^^^ |
| |
| error: at least one trait must be specified |
| --> $DIR/generic_underconstrained2.rs:14:46 |
| | |
| LL | type Underconstrained2<T: std::fmt::Debug> = impl 'static; |
| | ^^^^^^^^^^^^ |
| |
| error[E0277]: `U` doesn't implement `Debug` |
| --> $DIR/generic_underconstrained2.rs:5:45 |
| | |
| LL | type Underconstrained<T: std::fmt::Debug> = impl 'static; |
| | ^^^^^^^^^^^^ `U` cannot be formatted using `{:?}` because it doesn't implement `Debug` |
| ... |
| LL | 5u32 |
| | ---- this returned value is of type `u32` |
| | |
| = note: the return type of a function must have a statically known size |
| help: consider restricting type parameter `U` |
| | |
| LL | fn underconstrained<U: Debug>(_: U) -> Underconstrained<U> { |
| | ^^^^^^^ |
| |
| error[E0277]: `V` doesn't implement `Debug` |
| --> $DIR/generic_underconstrained2.rs:14:46 |
| | |
| LL | type Underconstrained2<T: std::fmt::Debug> = impl 'static; |
| | ^^^^^^^^^^^^ `V` cannot be formatted using `{:?}` because it doesn't implement `Debug` |
| ... |
| LL | 5u32 |
| | ---- this returned value is of type `u32` |
| | |
| = note: the return type of a function must have a statically known size |
| help: consider restricting type parameter `V` |
| | |
| LL | fn underconstrained2<U, V: Debug>(_: U, _: V) -> Underconstrained2<V> { |
| | ^^^^^^^ |
| |
| error: aborting due to 4 previous errors |
| |
| For more information about this error, try `rustc --explain E0277`. |