diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-11-08 16:50:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-08 16:50:33 +0100 |
| commit | 7ab50e40063a5f11aec148f59ad4d32e2a13fd70 (patch) | |
| tree | 5450ddc2785c74a9a373a0d5a92182d20d8551d8 /src/test/ui/impl-trait/issues/issue-57979-impl-trait-in-path.rs | |
| parent | 76ade3e8ac42cd7a7b7c3c5ef54818ab68e3ebdc (diff) | |
| parent | 574d2b83a16dbbe975bbb3cf2ed541563a2f756c (diff) | |
| download | rust-7ab50e40063a5f11aec148f59ad4d32e2a13fd70.tar.gz rust-7ab50e40063a5f11aec148f59ad4d32e2a13fd70.zip | |
Rollup merge of #65785 - Centril:compat-to-error-2, r=oli-obk
Transition future compat lints to {ERROR, DENY} - Take 2
Follow up to https://github.com/rust-lang/rust/pull/63247 implementing https://github.com/rust-lang/rust/pull/63247#issuecomment-536295992.
- `legacy_ctor_visibility` (ERROR) -- closes #39207
- `legacy_directory_ownership` (ERROR) -- closes #37872
- `safe_extern_static` (ERROR) -- closes #36247
- `parenthesized_params_in_types_and_modules` (ERROR) -- closes #42238
- `duplicate_macro_exports` (ERROR)
- `nested_impl_trait` (ERROR) -- closes #59014
- `ill_formed_attribute_input` (DENY) -- transitions #57571
- `patterns_in_fns_without_body` (DENY) -- transitions #35203
r? @varkor
cc @petrochenkov
Diffstat (limited to 'src/test/ui/impl-trait/issues/issue-57979-impl-trait-in-path.rs')
| -rw-r--r-- | src/test/ui/impl-trait/issues/issue-57979-impl-trait-in-path.rs | 35 |
1 files changed, 5 insertions, 30 deletions
diff --git a/src/test/ui/impl-trait/issues/issue-57979-impl-trait-in-path.rs b/src/test/ui/impl-trait/issues/issue-57979-impl-trait-in-path.rs index 84fcb5e2880..c5ecd1caae1 100644 --- a/src/test/ui/impl-trait/issues/issue-57979-impl-trait-in-path.rs +++ b/src/test/ui/impl-trait/issues/issue-57979-impl-trait-in-path.rs @@ -3,35 +3,10 @@ // Here we test behavior of occurrences of `impl Trait` within a path // component in that context. -mod allowed { - #![allow(nested_impl_trait)] - - pub trait Bar { } - pub trait Quux<T> { type Assoc; } - pub fn demo(_: impl Quux<(), Assoc=<() as Quux<impl Bar>>::Assoc>) { } - impl<T> Quux<T> for () { type Assoc = u32; } -} - -mod warned { - #![warn(nested_impl_trait)] - - pub trait Bar { } - pub trait Quux<T> { type Assoc; } - pub fn demo(_: impl Quux<(), Assoc=<() as Quux<impl Bar>>::Assoc>) { } - //~^ WARN `impl Trait` is not allowed in path parameters - //~| WARN will become a hard error in a future release! - impl<T> Quux<T> for () { type Assoc = u32; } -} - -mod denied { - #![deny(nested_impl_trait)] - - pub trait Bar { } - pub trait Quux<T> { type Assoc; } - pub fn demo(_: impl Quux<(), Assoc=<() as Quux<impl Bar>>::Assoc>) { } - //~^ ERROR `impl Trait` is not allowed in path parameters - //~| WARN will become a hard error in a future release! - impl<T> Quux<T> for () { type Assoc = u32; } -} +pub trait Bar { } +pub trait Quux<T> { type Assoc; } +pub fn demo(_: impl Quux<(), Assoc=<() as Quux<impl Bar>>::Assoc>) { } +//~^ ERROR `impl Trait` is not allowed in path parameters +impl<T> Quux<T> for () { type Assoc = u32; } fn main() { } |
