| error: `-Znext-solver=globally` and `generic_const_exprs` are incompatible, using them at the same time is not allowed |
| --> $DIR/issue-88119.rs:4:30 |
| | |
| LL | #![feature(const_trait_impl, generic_const_exprs)] |
| | ^^^^^^^^^^^^^^^^^^^ |
| | |
| = help: remove one of these features |
| |
| error[E0275]: overflow evaluating the requirement `&T: [const] ConstName` |
| --> $DIR/issue-88119.rs:19:49 |
| | |
| LL | impl<T: ?Sized + ConstName> const ConstName for &T |
| | ^^ |
| |
| error[E0275]: overflow evaluating the requirement `&T: ConstName` |
| --> $DIR/issue-88119.rs:19:49 |
| | |
| LL | impl<T: ?Sized + ConstName> const ConstName for &T |
| | ^^ |
| |
| error[E0275]: overflow evaluating the requirement `[(); name_len::<T>()] well-formed` |
| --> $DIR/issue-88119.rs:21:5 |
| | |
| LL | [(); name_len::<T>()]:, |
| | ^^^^^^^^^^^^^^^^^^^^^ |
| | |
| note: required by a bound in `<&T as ConstName>` |
| --> $DIR/issue-88119.rs:21:5 |
| | |
| LL | [(); name_len::<T>()]:, |
| | ^^^^^^^^^^^^^^^^^^^^^ required by this bound in `<&T as ConstName>` |
| |
| error[E0275]: overflow evaluating the requirement `[(); name_len::<T>()] well-formed` |
| --> $DIR/issue-88119.rs:21:10 |
| | |
| LL | [(); name_len::<T>()]:, |
| | ^^^^^^^^^^^^^^^ |
| | |
| note: required by a bound in `<&T as ConstName>` |
| --> $DIR/issue-88119.rs:21:5 |
| | |
| LL | [(); name_len::<T>()]:, |
| | ^^^^^^^^^^^^^^^^^^^^^ required by this bound in `<&T as ConstName>` |
| |
| error[E0275]: overflow evaluating the requirement `&mut T: [const] ConstName` |
| --> $DIR/issue-88119.rs:26:49 |
| | |
| LL | impl<T: ?Sized + ConstName> const ConstName for &mut T |
| | ^^^^^^ |
| |
| error[E0275]: overflow evaluating the requirement `&mut T: ConstName` |
| --> $DIR/issue-88119.rs:26:49 |
| | |
| LL | impl<T: ?Sized + ConstName> const ConstName for &mut T |
| | ^^^^^^ |
| |
| error[E0275]: overflow evaluating the requirement `[(); name_len::<T>()] well-formed` |
| --> $DIR/issue-88119.rs:28:5 |
| | |
| LL | [(); name_len::<T>()]:, |
| | ^^^^^^^^^^^^^^^^^^^^^ |
| | |
| note: required by a bound in `<&mut T as ConstName>` |
| --> $DIR/issue-88119.rs:28:5 |
| | |
| LL | [(); name_len::<T>()]:, |
| | ^^^^^^^^^^^^^^^^^^^^^ required by this bound in `<&mut T as ConstName>` |
| |
| error[E0275]: overflow evaluating the requirement `[(); name_len::<T>()] well-formed` |
| --> $DIR/issue-88119.rs:28:10 |
| | |
| LL | [(); name_len::<T>()]:, |
| | ^^^^^^^^^^^^^^^ |
| | |
| note: required by a bound in `<&mut T as ConstName>` |
| --> $DIR/issue-88119.rs:28:5 |
| | |
| LL | [(); name_len::<T>()]:, |
| | ^^^^^^^^^^^^^^^^^^^^^ required by this bound in `<&mut T as ConstName>` |
| |
| error[E0275]: overflow evaluating the requirement `&&mut u8: ConstName` |
| --> $DIR/issue-88119.rs:33:35 |
| | |
| LL | pub const ICE_1: &'static [u8] = <&&mut u8 as ConstName>::NAME_BYTES; |
| | ^^^^^^^^ |
| |
| error[E0275]: overflow evaluating the requirement `&mut &u8: ConstName` |
| --> $DIR/issue-88119.rs:34:35 |
| | |
| LL | pub const ICE_2: &'static [u8] = <&mut &u8 as ConstName>::NAME_BYTES; |
| | ^^^^^^^^ |
| |
| error: aborting due to 11 previous errors |
| |
| For more information about this error, try `rustc --explain E0275`. |
