Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rollup of 13 pull requests #66542

Closed
wants to merge 46 commits into from
Closed
Changes from 1 commit
Commits
Show all changes
46 commits
Select commit Hold shift + click to select a range
71e5018
ci: replace MINGW_URL with CUSTOM_MINGW=1
pietroalbini Oct 30, 2019
53c2c04
ci: remove the MINGW_DIR and MINGW_ARCHIVE env vars
pietroalbini Oct 30, 2019
af6b266
ci: remove the MSYS_BITS env var
pietroalbini Oct 30, 2019
6104aa7
ci: extract validate-toolstate into a script
pietroalbini Oct 30, 2019
d623c56
ci: extract running the build into a script
pietroalbini Oct 30, 2019
e209ee4
ci: extract collecting cpu stats into a script
pietroalbini Oct 30, 2019
c90cc12
ci: move validate-toolstate.sh in the mingw-check image
pietroalbini Oct 31, 2019
14da85c
ci: move mirrors to https://ci-mirrors.rust-lang.org
pietroalbini Nov 4, 2019
85132b2
ci: download curl and openssl from s3 for dist-x86_64-linux
pietroalbini Nov 6, 2019
71cf364
Fix the source code highlighting on source comments
dns2utf8 Nov 15, 2019
1bbb816
Prevent jumps when selecting one or many lines
dns2utf8 Nov 15, 2019
405866a
re-add miri intrinsic ABI check
RalfJung Nov 16, 2019
44b6811
rename and move read_vector_ty
RalfJung Nov 16, 2019
09180d7
make simd_size return a u64
RalfJung Nov 16, 2019
8952c8a
ICE on invalid MIR
RalfJung Nov 16, 2019
5e115a2
avoid some casts
RalfJung Nov 16, 2019
4e1eeb9
Add explanation message for E0641
clemkoh Nov 16, 2019
dc137dd
Update ui tests
clemkoh Nov 16, 2019
0487f0c
Suggest calling async closure when needed
estebank Nov 9, 2019
d7efa5b
review comments
estebank Nov 17, 2019
ce7a579
rustc_plugin: Remove the compatibility shim
petrochenkov Nov 16, 2019
7f49f7b
Rename directory `rustc_plugin` -> `rustc_plugin_impl`
petrochenkov Nov 16, 2019
d8ea786
Add JohnTitor to rustc-guide toolstate notification list
JohnTitor Nov 17, 2019
de122e6
std::error::Chain: remove Copy
haraldh Nov 15, 2019
eda67ba
Disable gdb pretty printer global section on wasm targets
alexcrichton Nov 18, 2019
0e2ccaa
Fix 'type annotations needed' error with opaque types
Aaron1011 Nov 15, 2019
61c75bd
Add explanation of unconstrained opaque type
Aaron1011 Nov 15, 2019
f87177b
Replace bool with new `FallbackMode` enum
Aaron1011 Nov 15, 2019
a11abe0
Update test output
Aaron1011 Nov 15, 2019
3de7bd2
Add unix::process::CommandExt::arg0
jsgf Nov 18, 2019
614da98
review comments
estebank Nov 17, 2019
f74fe81
resolve: Give derive helpers highest priority during resolution
petrochenkov Nov 18, 2019
c84fae1
Move the definition of `QueryResult` into `plumbing.rs`.
nnethercote Nov 1, 2019
1b23529
Rollup merge of #66090 - pietroalbini:ci-improvements, r=alexcrichton
JohnTitor Nov 19, 2019
76a1e2c
Rollup merge of #66239 - estebank:suggest-async-closure-call, r=Centril
JohnTitor Nov 19, 2019
0456a83
Rollup merge of #66430 - dns2utf8:fix_code_selection_click_handler, r…
JohnTitor Nov 19, 2019
6b0c545
Rollup merge of #66431 - Aaron1011:fix/opaque-type-infer, r=varkor
JohnTitor Nov 19, 2019
7186de2
Rollup merge of #66461 - clemencetbk:master, r=GuillaumeGomez
JohnTitor Nov 19, 2019
a80f69c
Rollup merge of #66468 - RalfJung:simd-cleanup, r=oli-obk
JohnTitor Nov 19, 2019
f27a0e0
Rollup merge of #66478 - petrochenkov:rmplugin, r=davidtwco
JohnTitor Nov 19, 2019
fe5e073
Rollup merge of #66493 - JohnTitor:ping-me-rustc-guide, r=spastorino
JohnTitor Nov 19, 2019
8966f76
Rollup merge of #66511 - haraldh:error_chain_nocopy, r=dtolnay
JohnTitor Nov 19, 2019
12834ff
Rollup merge of #66512 - jsgf:process-argv0, r=sfackler
JohnTitor Nov 19, 2019
11a8ca4
Rollup merge of #66520 - alexcrichton:disable-gdb-wasm, r=eddyb
JohnTitor Nov 19, 2019
4acec41
Rollup merge of #66529 - petrochenkov:reshelp2, r=davidtwco
JohnTitor Nov 19, 2019
98d6429
Rollup merge of #66536 - nnethercote:mv-QueryResult, r=Centril
JohnTitor Nov 19, 2019
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
102 changes: 45 additions & 57 deletions src/test/ui/impl-trait/where-allowed.stderr
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
error[E0666]: nested `impl Trait` is not allowed
--> $DIR/where-allowed.rs:51:51
--> $DIR/where-allowed.rs:47:51
|
LL | fn in_impl_Fn_parameter_in_parameters(_: &impl Fn(impl Debug)) { panic!() }
| --------^^^^^^^^^^-
@@ -8,7 +8,7 @@ LL | fn in_impl_Fn_parameter_in_parameters(_: &impl Fn(impl Debug)) { panic!() }
| outer `impl Trait`

error[E0666]: nested `impl Trait` is not allowed
--> $DIR/where-allowed.rs:60:57
--> $DIR/where-allowed.rs:56:57
|
LL | fn in_impl_Fn_parameter_in_return() -> &'static impl Fn(impl Debug) { panic!() }
| --------^^^^^^^^^^-
@@ -17,7 +17,7 @@ LL | fn in_impl_Fn_parameter_in_return() -> &'static impl Fn(impl Debug) { panic
| outer `impl Trait`

error[E0658]: `impl Trait` in type aliases is unstable
--> $DIR/where-allowed.rs:124:16
--> $DIR/where-allowed.rs:119:16
|
LL | type Out = impl Debug;
| ^^^^^^^^^^
@@ -26,7 +26,7 @@ LL | type Out = impl Debug;
= help: add `#![feature(type_alias_impl_trait)]` to the crate attributes to enable

error[E0658]: `impl Trait` in type aliases is unstable
--> $DIR/where-allowed.rs:160:23
--> $DIR/where-allowed.rs:155:23
|
LL | type InTypeAlias<R> = impl Debug;
| ^^^^^^^^^^
@@ -35,7 +35,7 @@ LL | type InTypeAlias<R> = impl Debug;
= help: add `#![feature(type_alias_impl_trait)]` to the crate attributes to enable

error[E0658]: `impl Trait` in type aliases is unstable
--> $DIR/where-allowed.rs:164:39
--> $DIR/where-allowed.rs:159:39
|
LL | type InReturnInTypeAlias<R> = fn() -> impl Debug;
| ^^^^^^^^^^
@@ -44,242 +44,230 @@ LL | type InReturnInTypeAlias<R> = fn() -> impl Debug;
= help: add `#![feature(type_alias_impl_trait)]` to the crate attributes to enable

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:19:40
--> $DIR/where-allowed.rs:15:40
|
LL | fn in_fn_parameter_in_parameters(_: fn(impl Debug)) { panic!() }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:23:42
--> $DIR/where-allowed.rs:19:42
|
LL | fn in_fn_return_in_parameters(_: fn() -> impl Debug) { panic!() }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:27:38
--> $DIR/where-allowed.rs:23:38
|
LL | fn in_fn_parameter_in_return() -> fn(impl Debug) { panic!() }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:31:40
--> $DIR/where-allowed.rs:27:40
|
LL | fn in_fn_return_in_return() -> fn() -> impl Debug { panic!() }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:35:49
--> $DIR/where-allowed.rs:31:49
|
LL | fn in_dyn_Fn_parameter_in_parameters(_: &dyn Fn(impl Debug)) { panic!() }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:39:51
--> $DIR/where-allowed.rs:35:51
|
LL | fn in_dyn_Fn_return_in_parameters(_: &dyn Fn() -> impl Debug) { panic!() }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:43:55
--> $DIR/where-allowed.rs:39:55
|
LL | fn in_dyn_Fn_parameter_in_return() -> &'static dyn Fn(impl Debug) { panic!() }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:47:57
--> $DIR/where-allowed.rs:43:57
|
LL | fn in_dyn_Fn_return_in_return() -> &'static dyn Fn() -> impl Debug { panic!() }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:51:51
--> $DIR/where-allowed.rs:47:51
|
LL | fn in_impl_Fn_parameter_in_parameters(_: &impl Fn(impl Debug)) { panic!() }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:56:53
--> $DIR/where-allowed.rs:52:53
|
LL | fn in_impl_Fn_return_in_parameters(_: &impl Fn() -> impl Debug) { panic!() }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:60:57
--> $DIR/where-allowed.rs:56:57
|
LL | fn in_impl_Fn_parameter_in_return() -> &'static impl Fn(impl Debug) { panic!() }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:66:59
--> $DIR/where-allowed.rs:61:59
|
LL | fn in_impl_Fn_return_in_return() -> &'static impl Fn() -> impl Debug { panic!() }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:70:38
--> $DIR/where-allowed.rs:65:38
|
LL | fn in_Fn_parameter_in_generics<F: Fn(impl Debug)> (_: F) { panic!() }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:74:40
--> $DIR/where-allowed.rs:69:40
|
LL | fn in_Fn_return_in_generics<F: Fn() -> impl Debug> (_: F) { panic!() }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:87:32
--> $DIR/where-allowed.rs:82:32
|
LL | struct InBraceStructField { x: impl Debug }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:91:41
--> $DIR/where-allowed.rs:86:41
|
LL | struct InAdtInBraceStructField { x: Vec<impl Debug> }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:95:27
--> $DIR/where-allowed.rs:90:27
|
LL | struct InTupleStructField(impl Debug);
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:100:25
--> $DIR/where-allowed.rs:95:25
|
LL | InBraceVariant { x: impl Debug },
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:102:20
--> $DIR/where-allowed.rs:97:20
|
LL | InTupleVariant(impl Debug),
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:113:23
--> $DIR/where-allowed.rs:108:23
|
LL | fn in_return() -> impl Debug;
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:131:34
--> $DIR/where-allowed.rs:126:34
|
LL | fn in_trait_impl_return() -> impl Debug { () }
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:144:33
--> $DIR/where-allowed.rs:139:33
|
LL | fn in_foreign_parameters(_: impl Debug);
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:147:31
--> $DIR/where-allowed.rs:142:31
|
LL | fn in_foreign_return() -> impl Debug;
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:164:39
--> $DIR/where-allowed.rs:159:39
|
LL | type InReturnInTypeAlias<R> = fn() -> impl Debug;
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:169:16
--> $DIR/where-allowed.rs:164:16
|
LL | impl PartialEq<impl Debug> for () {
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:174:24
--> $DIR/where-allowed.rs:169:24
|
LL | impl PartialEq<()> for impl Debug {
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:179:6
--> $DIR/where-allowed.rs:174:6
|
LL | impl impl Debug {
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:185:24
--> $DIR/where-allowed.rs:180:24
|
LL | impl InInherentImplAdt<impl Debug> {
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:191:11
--> $DIR/where-allowed.rs:186:11
|
LL | where impl Debug: Debug
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:198:15
--> $DIR/where-allowed.rs:193:15
|
LL | where Vec<impl Debug>: Debug
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:205:24
--> $DIR/where-allowed.rs:200:24
|
LL | where T: PartialEq<impl Debug>
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:212:17
--> $DIR/where-allowed.rs:207:17
|
LL | where T: Fn(impl Debug)
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:219:22
--> $DIR/where-allowed.rs:214:22
|
LL | where T: Fn() -> impl Debug
| ^^^^^^^^^^

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:225:29
--> $DIR/where-allowed.rs:220:29
|
LL | let _in_local_variable: impl Fn() = || {};
| ^^^^^^^^^
|
= help: add `#![feature(impl_trait_in_bindings)]` to the crate attributes to enable

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
--> $DIR/where-allowed.rs:227:46
--> $DIR/where-allowed.rs:222:46
|
LL | let _in_return_in_local_variable = || -> impl Fn() { || {} };
| ^^^^^^^^^

error[E0282]: type annotations needed
--> $DIR/where-allowed.rs:15:30
|
LL | fn in_adt_in_return() -> Vec<impl Debug> { panic!() }
| ^^^^^^^^^^ cannot infer type

error[E0282]: type annotations needed
--> $DIR/where-allowed.rs:60:49
|
LL | fn in_impl_Fn_parameter_in_return() -> &'static impl Fn(impl Debug) { panic!() }
| ^^^^^^^^^^^^^^^^^^^ cannot infer type

error: could not find defining uses
--> $DIR/where-allowed.rs:160:1
--> $DIR/where-allowed.rs:155:1
|
LL | type InTypeAlias<R> = impl Debug;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error: could not find defining uses
--> $DIR/where-allowed.rs:124:5
--> $DIR/where-allowed.rs:119:5
|
LL | type Out = impl Debug;
| ^^^^^^^^^^^^^^^^^^^^^^

error: aborting due to 44 previous errors
error: aborting due to 42 previous errors

Some errors have detailed explanations: E0282, E0562, E0658, E0666.
For more information about an error, try `rustc --explain E0282`.
Some errors have detailed explanations: E0562, E0658, E0666.
For more information about an error, try `rustc --explain E0562`.