summaryrefslogtreecommitdiffstats
path: root/tests/ui/issues/issue-36744-without-calls.rs
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() {}