blob: ba89fa19ca6e483b0a59f33429cc05e05c1248dd (
plain)
1
2
3
4
5
6
7
8
|
// Test that NLL produces correct spans for higher-ranked subtyping errors.
//
// compile-flags:-Zno-leak-check
fn main() {
let x: fn(&'static ()) = |_| {};
let y: for<'a> fn(&'a ()) = x; //~ ERROR mismatched types [E0308]
}
|