summaryrefslogtreecommitdiffstats
path: root/tests/ui/associated-item/associated-item-two-bounds.rs
blob: 25b0d5a56bfb3e49a836f73930f4c61d5f370ea8 (plain)
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() {}