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

   1 // This test is a regression test for #34792
   2
   3 // check-pass
   4
   5 pub struct A;
   6 pub struct B;
   7
   8 pub trait Foo {
   9     type T: PartialEq<A> + PartialEq<B>;
  10 }
  11
  12 pub fn generic<F: Foo>(t: F::T, a: A, b: B) -> bool {
  13     t == a && t == b
  14 }
  15
  16 pub fn main() {}