blob: 8966730fd87390c4c72fe9193e91db3909f7ec63 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// build-pass (FIXME(62277): could be check-pass?)
#![feature(optin_builtin_traits)]
auto trait NotSame {}
impl<A> !NotSame for (A, A) {}
trait OneOfEach {}
impl<A> OneOfEach for (A,) {}
impl<A, B> OneOfEach for (A, B)
where
(B,): OneOfEach,
(A, B): NotSame,
{
}
fn main() {}
|
