rust/tests/ui/implied-bounds/normalization-preserve-equality.rs
2024-02-16 20:02:50 +00:00

29 lines
599 B
Rust

// Both revisions should pass. `borrowck` revision is a bug!
//
//@ revisions: wfcheck borrowck
//@ [wfcheck] check-pass
//@ [borrowck] check-fail
//@ [borrowck] known-bug: #106569
struct Equal<'a, 'b>(&'a &'b (), &'b &'a ()); // implies 'a == 'b
trait Trait {
type Ty;
}
impl<'x> Trait for Equal<'x, 'x> {
type Ty = ();
}
trait WfCheckTrait {}
#[cfg(wfcheck)]
impl<'a, 'b> WfCheckTrait for (<Equal<'a, 'b> as Trait>::Ty, Equal<'a, 'b>) {}
#[cfg(borrowck)]
fn test_borrowck<'a, 'b>(_: (<Equal<'a, 'b> as Trait>::Ty, Equal<'a, 'b>)) {
let _ = None::<Equal<'a, 'b>>;
}
fn main() {}