blob: 68da4073fc1f068a75ac5c9dee1eee10e483d950 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#![feature(generic_const_items)]
#![allow(incomplete_features)]
trait Tr<P> {
const K: ()
where
P: Copy
where
P: Eq;
//~^ ERROR cannot define duplicate `where` clauses on an item
}
// Test that we error on the first where-clause but also that we don't suggest to swap it with the
// body as it would conflict with the second where-clause.
// FIXME(generic_const_items): We should provide a structured sugg to merge the 1st into the 2nd WC.
impl<P> Tr<P> for () {
const K: ()
where
P: Eq
= ()
where
P: Copy;
//~^^^^^ ERROR where clauses are not allowed before const item bodies
}
fn main() {}
|
