1
Fork 0
rust/src/test/ui/variance/variance-covariant-self-trait-match.rs

26 lines
556 B
Rust
Raw Normal View History

#![allow(dead_code)]
// Test that even when `Self` is only used in covariant position, it
// is treated as invariant.
trait Get {
fn get() -> Self;
}
fn get_min_from_max<'min, 'max, G>()
where 'max : 'min, G : 'max, &'max G : Get
{
2015-03-31 19:58:01 -04:00
// Previously OK, now an error as traits are invariant.
impls_get::<&'min G>(); //~ ERROR mismatched types
}
fn get_max_from_min<'min, 'max, G>()
where 'max : 'min, G : 'max, &'min G : Get
{
impls_get::<&'max G>(); //~ ERROR mismatched types
}
fn impls_get<G>() where G : Get { }
fn main() { }