// Regression test for #70813 (this used to trigger a debug assertion) | |
trait Trait {} | |
struct S; | |
impl<'a> Trait for &'a mut S {} | |
fn foo<X>(_: X) | |
where | |
for<'b> &'b X: Trait, | |
{ | |
} | |
fn main() { | |
let s = S; | |
foo::<S>(s); //~ ERROR the trait bound `for<'b> &'b S: Trait` is not satisfied | |
} |