23 lines
631 B
Rust
23 lines
631 B
Rust
//! 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
|
|
}
|