blob: dc5dc4f13c0b81007ba2afd5810463d1b715afc0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// build-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() {}
|
