| error: `-Znext-solver=globally` and `generic_const_exprs` are incompatible, using them at the same time is not allowed |
| --> $DIR/issue-88119.rs:4:39 |
| | |
| LL | #![feature(const_trait_impl, effects, generic_const_exprs)] |
| | ^^^^^^^^^^^^^^^^^^^ |
| | |
| = help: remove one of these features |
| |
| error[E0284]: type annotations needed: cannot normalize `<&T as ConstName>::{constant#0}` |
| --> $DIR/issue-88119.rs:19:49 |
| | |
| LL | impl<T: ?Sized + ConstName> const ConstName for &T |
| | ^^ cannot normalize `<&T as ConstName>::{constant#0}` |
| | |
| note: required for `&T` to implement `ConstName` |
| --> $DIR/issue-88119.rs:19:35 |
| | |
| LL | impl<T: ?Sized + ConstName> const ConstName for &T |
| | ^^^^^^^^^ ^^ |
| LL | where |
| LL | [(); name_len::<T>()]:, |
| | --------------------- unsatisfied trait bound introduced here |
| |
| error[E0284]: type annotations needed: cannot normalize `<&mut T as ConstName>::{constant#0}` |
| --> $DIR/issue-88119.rs:26:49 |
| | |
| LL | impl<T: ?Sized + ConstName> const ConstName for &mut T |
| | ^^^^^^ cannot normalize `<&mut T as ConstName>::{constant#0}` |
| | |
| note: required for `&mut T` to implement `ConstName` |
| --> $DIR/issue-88119.rs:26:35 |
| | |
| LL | impl<T: ?Sized + ConstName> const ConstName for &mut T |
| | ^^^^^^^^^ ^^^^^^ |
| LL | where |
| LL | [(); name_len::<T>()]:, |
| | --------------------- unsatisfied trait bound introduced here |
| |
| error: aborting due to 3 previous errors |
| |
| For more information about this error, try `rustc --explain E0284`. |
