blob: 9826b83a35d5002808799dd7e72be2163daae022 (
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
#![feature(decl_macro, associated_type_defaults)]
#![allow(unused, private_in_public)]
mod priv_trait {
trait PrivTr {
type AssocTy = u8;
}
pub trait PubTr: PrivTr {}
pub macro mac1() {
let _: Box<dyn PubTr<AssocTy = u8>>;
//~^ ERROR trait `PrivTr` is private
//~| ERROR trait `PrivTr` is private
type InSignatureTy2 = Box<dyn PubTr<AssocTy = u8>>;
//~^ ERROR trait `PrivTr` is private
trait InSignatureTr2: PubTr<AssocTy = u8> {}
//~^ ERROR trait `PrivTr` is private
}
pub macro mac2() {
let _: Box<dyn PrivTr<AssocTy = u8>>;
//~^ ERROR trait `PrivTr` is private
//~| ERROR trait `PrivTr` is private
type InSignatureTy1 = Box<dyn PrivTr<AssocTy = u8>>;
//~^ ERROR trait `PrivTr` is private
trait InSignatureTr1: PrivTr<AssocTy = u8> {}
//~^ ERROR trait `PrivTr` is private
}
}
fn priv_trait1() {
priv_trait::mac1!();
}
fn priv_trait2() {
priv_trait::mac2!();
}
mod priv_parent_substs {
pub trait PubTrWithParam<T = Priv> {
type AssocTy = u8;
}
struct Priv;
pub trait PubTr: PubTrWithParam<Priv> {}
pub macro mac() {
let _: Box<dyn PubTrWithParam<AssocTy = u8>>;
//~^ ERROR type `Priv` is private
//~| ERROR type `Priv` is private
let _: Box<dyn PubTr<AssocTy = u8>>;
//~^ ERROR type `Priv` is private
//~| ERROR type `Priv` is private
pub type InSignatureTy1 = Box<dyn PubTrWithParam<AssocTy = u8>>;
//~^ ERROR type `Priv` is private
pub type InSignatureTy2 = Box<dyn PubTr<AssocTy = u8>>;
//~^ ERROR type `Priv` is private
trait InSignatureTr1: PubTrWithParam<AssocTy = u8> {}
//~^ ERROR type `Priv` is private
trait InSignatureTr2: PubTr<AssocTy = u8> {}
//~^ ERROR type `Priv` is private
}
}
fn priv_parent_substs() {
priv_parent_substs::mac!();
}
fn main() {}
|