blob: c9e117089f57b5efdadb652972d904161d3fca7e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// run-pass
// Test for a specific corner case: when we compute the LUB of two fn
// types and their parameters have unbound variables. In that case, we
// wind up relating those two variables. This was causing an ICE in an
// in-progress PR.
fn main() {
let a_f: fn(_) = |_| ();
let b_f: fn(_) = |_| ();
let c_f = match 22 {
0 => a_f,
_ => b_f,
};
c_f(4);
}
|
