tests/ui/associated-item/associated-item-two-bounds.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// This test is a regression test for #34792

// check-pass

pub struct A;
pub struct B;

pub trait Foo {
    type T: PartialEq<A> + PartialEq<B>;
}

pub fn generic<F: Foo>(t: F::T, a: A, b: B) -> bool {
    t == a && t == b
}

pub fn main() {}