blob: 57d63e67f3c0b1bbad397145c2a047f28f13ec39 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// compile-pass
// Tests for an LLVM abort when storing a lifetime-parametric fn into
// context that is expecting one that is not lifetime-parametric
// (i.e., has no `for <'_>`).
pub struct A<'a>(&'a ());
pub struct S<T>(T);
pub fn bad<'s>(v: &mut S<fn(A<'s>)>, y: S<for<'b> fn(A<'b>)>) {
*v = y;
}
fn main() {}
|
