rust/tests/ui/mir/important-higher-ranked-regions.rs
2024-02-16 20:02:50 +00:00

27 lines
467 B
Rust

//@ check-pass
//@ compile-flags: -Zvalidate-mir
// This test checks that bivariant parameters are handled correctly
// in the mir.
#![allow(coherence_leak_check)]
trait Trait {
type Assoc;
}
struct Foo<T, U>(T)
where
T: Trait<Assoc = U>;
impl Trait for for<'a> fn(&'a ()) {
type Assoc = u32;
}
impl Trait for fn(&'static ()) {
type Assoc = String;
}
fn foo(x: Foo<for<'a> fn(&'a ()), u32>) -> Foo<fn(&'static ()), String> {
x
}
fn main() {}