diff options
| author | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2017-09-16 16:45:49 +0300 |
|---|---|---|
| committer | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2017-09-23 00:50:46 +0300 |
| commit | 419069d984e3f4cf33768003fa5eaccae51fec10 (patch) | |
| tree | 8e07cff4368285166639354c223df0337b3439d5 /src/test/compile-fail | |
| parent | 505ff71ac1c427f1777805bfced50c8938029bcb (diff) | |
| download | rust-419069d984e3f4cf33768003fa5eaccae51fec10.tar.gz rust-419069d984e3f4cf33768003fa5eaccae51fec10.zip | |
Use recorded types in rustc_privacy
Diffstat (limited to 'src/test/compile-fail')
| -rw-r--r-- | src/test/compile-fail/lint-stability-deprecated.rs | 1 | ||||
| -rw-r--r-- | src/test/compile-fail/private-inferred-type.rs | 5 | ||||
| -rw-r--r-- | src/test/compile-fail/private-type-in-interface.rs | 1 |
3 files changed, 4 insertions, 3 deletions
diff --git a/src/test/compile-fail/lint-stability-deprecated.rs b/src/test/compile-fail/lint-stability-deprecated.rs index 9bc2c021904..de455afbd66 100644 --- a/src/test/compile-fail/lint-stability-deprecated.rs +++ b/src/test/compile-fail/lint-stability-deprecated.rs @@ -107,6 +107,7 @@ mod cross_crate { struct S1<T: TraitWithAssociatedTypes>(T::TypeUnstable); struct S2<T: TraitWithAssociatedTypes>(T::TypeDeprecated); //~^ WARN use of deprecated item + //~| WARN use of deprecated item let _ = DeprecatedStruct { //~ WARN use of deprecated item i: 0 //~ WARN use of deprecated item diff --git a/src/test/compile-fail/private-inferred-type.rs b/src/test/compile-fail/private-inferred-type.rs index 4d41f8ba47d..973d467b112 100644 --- a/src/test/compile-fail/private-inferred-type.rs +++ b/src/test/compile-fail/private-inferred-type.rs @@ -103,10 +103,11 @@ mod adjust { fn main() { let _: m::Alias; //~ ERROR type `m::Priv` is private - let _: <m::Alias as m::TraitWithAssocTy>::AssocTy; // FIXME + //~^ ERROR type `m::Priv` is private + let _: <m::Alias as m::TraitWithAssocTy>::AssocTy; //~ ERROR type `m::Priv` is private m::Alias {}; //~ ERROR type `m::Priv` is private m::Pub { 0: m::Alias {} }; //~ ERROR type `m::Priv` is private - m::Pub { 0: loop {} }; // FIXME + m::Pub { 0: loop {} }; // OK, `m::Pub` is in value context, so it means Pub<_>, not Pub<Priv> m::Pub::static_method; //~ ERROR type `m::Priv` is private m::Pub::INHERENT_ASSOC_CONST; //~ ERROR type `m::Priv` is private m::Pub(0u8).method_with_substs::<m::Alias>(); //~ ERROR type `m::Priv` is private diff --git a/src/test/compile-fail/private-type-in-interface.rs b/src/test/compile-fail/private-type-in-interface.rs index a5581664f74..eb8c40a7dd5 100644 --- a/src/test/compile-fail/private-type-in-interface.rs +++ b/src/test/compile-fail/private-type-in-interface.rs @@ -31,7 +31,6 @@ fn f_ext(_: ext::Alias) {} //~ ERROR type `ext::Priv` is private trait Tr1 {} impl m::Alias {} //~ ERROR type `m::Priv` is private impl Tr1 for ext::Alias {} //~ ERROR type `ext::Priv` is private - //~^ ERROR type `ext::Priv` is private type A = <m::Alias as m::Trait>::X; //~ ERROR type `m::Priv` is private trait Tr2<T> {} |