// 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 | |
{ | |
} | |
fn main() {} |