15 lines
617 B
Rust
15 lines
617 B
Rust
|
// FIXME: This test should pass as the first two fields add implied bounds that
|
||
|
|
// `'a` is equal to `'b` while the last one should simply use that fact. With
|
||
|
|
// the current implementation this errors. We have to be careful as implied bounds
|
||
|
|
// are only sound if they're also correctly checked.
|
||
|
|
|
||
|
|
struct Inv<T>(*mut T); // `T` is invariant.
|
||
|
|
type A = for<'a, 'b> fn(Inv<&'a &'b ()>, Inv<&'b &'a ()>, Inv<&'a ()>);
|
||
|
|
type B = for<'a, 'b> fn(Inv<&'a &'b ()>, Inv<&'b &'a ()>, Inv<&'b ()>);
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
let x: A = |_, _, _| ();
|
||
|
|
let y: B = x; //~ ERROR mismatched types
|
||
|
|
let _: A = y; //~ ERROR mismatched types
|
||
|
|
}
|