| //! Regression test for ICEs #123959, #125680, #129425 and #136175. |
| //@ edition:2021 |
| |
| #![allow(incomplete_features)] |
| #![feature(generic_const_exprs)] |
| |
| trait Trait {} |
| |
| fn foo<'a, T: 'a>(_: [(); std::mem::offset_of!((T,), 0)]) {} |
| //~^ ERROR overly complex generic constant |
| //~| ERROR cycle detected when evaluating type-level constant |
| |
| struct Inline<T> |
| //~^ ERROR type parameter `T` is never used |
| where |
| [(); std::mem::offset_of!((T,), 0)]:, |
| //~^ ERROR overly complex generic constant |
| {} |
| |
| fn main() { |
| let dst: Inline<dyn Trait>; |
| //~^ ERROR the size for values of type `dyn Trait` cannot be known at compilation time |
| } |
