mirror of https://github.com/rust-lang/rust
18 lines
356 B
Rust
18 lines
356 B
Rust
// Test for issues/115517 which is fixed by pull/115486
|
|
// This should not ice
|
|
trait Test<const C: usize> {}
|
|
|
|
trait Elide<T> {
|
|
fn call();
|
|
}
|
|
|
|
pub fn test()
|
|
where
|
|
(): Test<{ 1 + (<() as Elide(&())>::call) }>,
|
|
//~^ ERROR cannot capture late-bound lifetime in constant
|
|
//~| ERROR associated type bindings are not allowed here
|
|
{
|
|
}
|
|
|
|
fn main() {}
|