Skip to content

Commit bdc7ff7

Browse files
committed
Add test for rust-lang#34792
1 parent 410a546 commit bdc7ff7

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed
+16
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
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() {}

0 commit comments

Comments
 (0)