blob: 150566e98c04ef28fa307e843f28253df1448925 (
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
|
//@ [full] build-pass
//@ revisions: full min
#![cfg_attr(full, feature(adt_const_params))]
#![cfg_attr(full, allow(incomplete_features))]
#[cfg(full)]
use std::marker::ConstParamTy;
#[derive(PartialEq, Eq)]
#[cfg_attr(full, derive(ConstParamTy))]
struct Inner;
// Note: We emit the error 5 times if we don't deduplicate:
// - struct definition
// - impl PartialEq
// - impl Eq
// - impl StructuralPartialEq
#[derive(PartialEq, Eq)]
struct Outer<const I: Inner>;
//[min]~^ ERROR `Inner` is forbidden
//[min]~| ERROR `Inner` is forbidden
//[min]~| ERROR `Inner` is forbidden
//[min]~| ERROR `Inner` is forbidden
fn main() {}
|
