2 // Test for a specific corner case: when we compute the LUB of two fn
3 // types and their parameters have unbound variables. In that case, we
4 // wind up relating those two variables. This was causing an ICE in an
8 let a_f: fn(_) = |_| ();
9 let b_f: fn(_) = |_| ();