2017-12-16 22:53:11 +00:00
|
|
|
error: missing angle brackets in associated item path
|
2018-12-25 15:56:47 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:1:10
|
2017-12-16 22:53:11 +00:00
|
|
|
|
|
2018-02-23 00:42:32 +00:00
|
|
|
LL | type A = [u8; 4]::AssocTy;
|
2017-12-16 22:53:11 +00:00
|
|
|
| ^^^^^^^^^^^^^^^^ help: try: `<[u8; 4]>::AssocTy`
|
|
|
|
|
|
|
|
error: missing angle brackets in associated item path
|
2018-12-25 15:56:47 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:5:10
|
2017-12-16 22:53:11 +00:00
|
|
|
|
|
2018-02-23 00:42:32 +00:00
|
|
|
LL | type B = [u8]::AssocTy;
|
2017-12-16 22:53:11 +00:00
|
|
|
| ^^^^^^^^^^^^^ help: try: `<[u8]>::AssocTy`
|
|
|
|
|
|
|
|
error: missing angle brackets in associated item path
|
2018-12-25 15:56:47 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:9:10
|
2017-12-16 22:53:11 +00:00
|
|
|
|
|
2018-02-23 00:42:32 +00:00
|
|
|
LL | type C = (u8)::AssocTy;
|
2017-12-16 22:53:11 +00:00
|
|
|
| ^^^^^^^^^^^^^ help: try: `<(u8)>::AssocTy`
|
|
|
|
|
|
|
|
error: missing angle brackets in associated item path
|
2018-12-25 15:56:47 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:13:10
|
2017-12-16 22:53:11 +00:00
|
|
|
|
|
2018-02-23 00:42:32 +00:00
|
|
|
LL | type D = (u8, u8)::AssocTy;
|
2017-12-16 22:53:11 +00:00
|
|
|
| ^^^^^^^^^^^^^^^^^ help: try: `<(u8, u8)>::AssocTy`
|
|
|
|
|
|
|
|
error: missing angle brackets in associated item path
|
2018-12-25 15:56:47 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:17:10
|
2017-12-16 22:53:11 +00:00
|
|
|
|
|
2018-02-23 00:42:32 +00:00
|
|
|
LL | type E = _::AssocTy;
|
2017-12-16 22:53:11 +00:00
|
|
|
| ^^^^^^^^^^ help: try: `<_>::AssocTy`
|
|
|
|
|
2017-12-18 20:42:58 +00:00
|
|
|
error: missing angle brackets in associated item path
|
2020-02-27 23:59:08 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:21:19
|
2017-12-18 20:42:58 +00:00
|
|
|
|
|
2018-02-23 00:42:32 +00:00
|
|
|
LL | type F = &'static (u8)::AssocTy;
|
2017-12-18 20:42:58 +00:00
|
|
|
| ^^^^^^^^^^^^^ help: try: `<(u8)>::AssocTy`
|
|
|
|
|
|
|
|
error: missing angle brackets in associated item path
|
2020-02-27 23:59:08 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:27:10
|
2017-12-18 20:42:58 +00:00
|
|
|
|
|
2019-05-28 18:46:13 +00:00
|
|
|
LL | type G = dyn 'static + (Send)::AssocTy;
|
|
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `<dyn 'static + (Send)>::AssocTy`
|
2019-03-09 14:41:01 +00:00
|
|
|
|
|
|
|
error: missing angle brackets in associated item path
|
2020-02-27 23:59:08 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:44:10
|
2019-03-09 14:41:01 +00:00
|
|
|
|
|
|
|
|
LL | type I = ty!()::AssocTy;
|
|
|
|
| ^^^^^^^^^^^^^^ help: try: `<ty!()>::AssocTy`
|
|
|
|
|
|
|
|
error: missing angle brackets in associated item path
|
2020-02-27 23:59:08 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:37:19
|
2019-03-09 14:41:01 +00:00
|
|
|
|
|
|
|
|
LL | ($ty: ty) => ($ty::AssocTy);
|
|
|
|
| ^^^^^^^^^^^^ help: try: `<$ty>::AssocTy`
|
|
|
|
...
|
|
|
|
LL | type J = ty!(u8);
|
|
|
|
| ------- in this macro invocation
|
2019-12-16 13:56:47 +00:00
|
|
|
|
|
|
|
|
= note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
|
2017-12-18 20:42:58 +00:00
|
|
|
|
2020-03-23 01:50:30 +00:00
|
|
|
error[E0658]: unions with non-`Copy` fields are unstable
|
|
|
|
--> $DIR/bad-assoc-ty.rs:69:1
|
|
|
|
|
|
|
|
|
LL | / union O<F> where F: Fn() -> _ {
|
|
|
|
LL | |
|
|
|
|
LL | |
|
|
|
|
LL | | foo: F,
|
|
|
|
LL | | }
|
|
|
|
| |_^
|
|
|
|
|
|
|
|
|
= note: see issue #55149 <https://github.com/rust-lang/rust/issues/55149> for more information
|
|
|
|
= help: add `#![feature(untagged_unions)]` to the crate attributes to enable
|
|
|
|
|
2017-12-16 22:53:11 +00:00
|
|
|
error[E0223]: ambiguous associated type
|
2018-12-25 15:56:47 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:1:10
|
2017-12-16 22:53:11 +00:00
|
|
|
|
|
2018-02-23 00:42:32 +00:00
|
|
|
LL | type A = [u8; 4]::AssocTy;
|
2020-01-11 02:22:36 +00:00
|
|
|
| ^^^^^^^^^^^^^^^^ help: use fully-qualified syntax: `<[u8; 4] as Trait>::AssocTy`
|
2017-12-16 22:53:11 +00:00
|
|
|
|
|
|
|
error[E0223]: ambiguous associated type
|
2018-12-25 15:56:47 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:5:10
|
2017-12-16 22:53:11 +00:00
|
|
|
|
|
2018-02-23 00:42:32 +00:00
|
|
|
LL | type B = [u8]::AssocTy;
|
2018-10-11 03:49:45 +00:00
|
|
|
| ^^^^^^^^^^^^^ help: use fully-qualified syntax: `<[u8] as Trait>::AssocTy`
|
2017-12-16 22:53:11 +00:00
|
|
|
|
|
|
|
error[E0223]: ambiguous associated type
|
2018-12-25 15:56:47 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:9:10
|
2017-12-16 22:53:11 +00:00
|
|
|
|
|
2018-02-23 00:42:32 +00:00
|
|
|
LL | type C = (u8)::AssocTy;
|
2018-10-11 03:49:45 +00:00
|
|
|
| ^^^^^^^^^^^^^ help: use fully-qualified syntax: `<u8 as Trait>::AssocTy`
|
2017-12-16 22:53:11 +00:00
|
|
|
|
|
|
|
error[E0223]: ambiguous associated type
|
2018-12-25 15:56:47 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:13:10
|
2017-12-16 22:53:11 +00:00
|
|
|
|
|
2018-02-23 00:42:32 +00:00
|
|
|
LL | type D = (u8, u8)::AssocTy;
|
2018-10-11 03:49:45 +00:00
|
|
|
| ^^^^^^^^^^^^^^^^^ help: use fully-qualified syntax: `<(u8, u8) as Trait>::AssocTy`
|
2017-12-16 22:53:11 +00:00
|
|
|
|
|
|
|
error[E0121]: the type placeholder `_` is not allowed within types on item signatures
|
2018-12-25 15:56:47 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:17:10
|
2017-12-16 22:53:11 +00:00
|
|
|
|
|
2018-02-23 00:42:32 +00:00
|
|
|
LL | type E = _::AssocTy;
|
2017-12-16 22:53:11 +00:00
|
|
|
| ^ not allowed in type signatures
|
|
|
|
|
2017-12-18 20:42:58 +00:00
|
|
|
error[E0223]: ambiguous associated type
|
2020-02-27 23:59:08 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:21:19
|
2017-12-18 20:42:58 +00:00
|
|
|
|
|
2018-02-23 00:42:32 +00:00
|
|
|
LL | type F = &'static (u8)::AssocTy;
|
2018-10-11 03:49:45 +00:00
|
|
|
| ^^^^^^^^^^^^^ help: use fully-qualified syntax: `<u8 as Trait>::AssocTy`
|
2017-12-18 20:42:58 +00:00
|
|
|
|
|
|
|
error[E0223]: ambiguous associated type
|
2020-02-27 23:59:08 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:27:10
|
2017-12-18 20:42:58 +00:00
|
|
|
|
|
2019-05-28 18:46:13 +00:00
|
|
|
LL | type G = dyn 'static + (Send)::AssocTy;
|
2020-09-02 07:40:56 +00:00
|
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use fully-qualified syntax: `<(dyn Send + 'static) as Trait>::AssocTy`
|
2017-12-18 20:42:58 +00:00
|
|
|
|
|
|
|
error[E0223]: ambiguous associated type
|
2020-02-27 23:59:08 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:33:10
|
2017-12-18 20:42:58 +00:00
|
|
|
|
|
2018-02-23 00:42:32 +00:00
|
|
|
LL | type H = Fn(u8) -> (u8)::Output;
|
2020-09-02 07:40:56 +00:00
|
|
|
| ^^^^^^^^^^^^^^^^^^^^^^ help: use fully-qualified syntax: `<(dyn Fn(u8) -> u8 + 'static) as Trait>::Output`
|
2017-12-18 20:42:58 +00:00
|
|
|
|
2019-03-09 14:41:01 +00:00
|
|
|
error[E0223]: ambiguous associated type
|
2020-02-27 23:59:08 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:37:19
|
2019-03-09 14:41:01 +00:00
|
|
|
|
|
|
|
|
LL | ($ty: ty) => ($ty::AssocTy);
|
|
|
|
| ^^^^^^^^^^^^ help: use fully-qualified syntax: `<u8 as Trait>::AssocTy`
|
|
|
|
...
|
|
|
|
LL | type J = ty!(u8);
|
|
|
|
| ------- in this macro invocation
|
2019-12-16 13:56:47 +00:00
|
|
|
|
|
|
|
|
= note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
|
2019-03-09 14:41:01 +00:00
|
|
|
|
|
|
|
error[E0223]: ambiguous associated type
|
2020-02-27 23:59:08 +00:00
|
|
|
--> $DIR/bad-assoc-ty.rs:44:10
|
2019-03-09 14:41:01 +00:00
|
|
|
|
|
|
|
|
LL | type I = ty!()::AssocTy;
|
|
|
|
| ^^^^^^^^^^^^^^ help: use fully-qualified syntax: `<u8 as Trait>::AssocTy`
|
|
|
|
|
2020-02-13 21:34:00 +00:00
|
|
|
error[E0121]: the type placeholder `_` is not allowed within types on item signatures
|
|
|
|
--> $DIR/bad-assoc-ty.rs:49:13
|
|
|
|
|
|
|
|
|
LL | fn foo<X: K<_, _>>(x: X) {}
|
|
|
|
| ^ ^ not allowed in type signatures
|
|
|
|
| |
|
|
|
|
| not allowed in type signatures
|
2020-03-23 01:50:30 +00:00
|
|
|
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
|
2020-03-24 01:46:09 +00:00
|
|
|
LL | fn foo<X: K<T, T>, T>(x: X) {}
|
|
|
|
| ^ ^ ^^^
|
2020-03-23 01:50:30 +00:00
|
|
|
|
|
|
|
error[E0121]: the type placeholder `_` is not allowed within types on item signatures
|
|
|
|
--> $DIR/bad-assoc-ty.rs:52:34
|
|
|
|
|
|
|
|
|
LL | fn bar<F>(_: F) where F: Fn() -> _ {}
|
|
|
|
| ^ not allowed in type signatures
|
|
|
|
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
|
|
|
|
LL | fn bar<F, T>(_: F) where F: Fn() -> T {}
|
|
|
|
| ^^^ ^
|
|
|
|
|
|
|
|
error[E0121]: the type placeholder `_` is not allowed within types on item signatures
|
|
|
|
--> $DIR/bad-assoc-ty.rs:55:19
|
|
|
|
|
|
|
|
|
LL | fn baz<F: Fn() -> _>(_: F) {}
|
|
|
|
| ^ not allowed in type signatures
|
|
|
|
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
|
2020-03-24 01:46:09 +00:00
|
|
|
LL | fn baz<F: Fn() -> T, T>(_: F) {}
|
|
|
|
| ^^^^
|
2020-03-23 01:50:30 +00:00
|
|
|
|
|
|
|
error[E0121]: the type placeholder `_` is not allowed within types on item signatures
|
|
|
|
--> $DIR/bad-assoc-ty.rs:58:33
|
|
|
|
|
|
|
|
|
LL | struct L<F>(F) where F: Fn() -> _;
|
|
|
|
| ^ not allowed in type signatures
|
|
|
|
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
|
|
|
|
LL | struct L<F, T>(F) where F: Fn() -> T;
|
|
|
|
| ^^^ ^
|
|
|
|
|
|
|
|
error[E0121]: the type placeholder `_` is not allowed within types on item signatures
|
|
|
|
--> $DIR/bad-assoc-ty.rs:60:30
|
|
|
|
|
|
|
|
|
LL | struct M<F> where F: Fn() -> _ {
|
|
|
|
| ^ not allowed in type signatures
|
|
|
|
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
|
|
|
|
LL | struct M<F, T> where F: Fn() -> T {
|
|
|
|
| ^^^ ^
|
|
|
|
|
|
|
|
error[E0121]: the type placeholder `_` is not allowed within types on item signatures
|
|
|
|
--> $DIR/bad-assoc-ty.rs:64:28
|
|
|
|
|
|
|
|
|
LL | enum N<F> where F: Fn() -> _ {
|
|
|
|
| ^ not allowed in type signatures
|
|
|
|
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
|
|
|
|
LL | enum N<F, T> where F: Fn() -> T {
|
|
|
|
| ^^^ ^
|
|
|
|
|
|
|
|
error[E0121]: the type placeholder `_` is not allowed within types on item signatures
|
|
|
|
--> $DIR/bad-assoc-ty.rs:69:29
|
|
|
|
|
|
|
|
|
LL | union O<F> where F: Fn() -> _ {
|
|
|
|
| ^ not allowed in type signatures
|
|
|
|
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
|
|
|
|
LL | union O<F, T> where F: Fn() -> T {
|
|
|
|
| ^^^ ^
|
|
|
|
|
|
|
|
error[E0121]: the type placeholder `_` is not allowed within types on item signatures
|
|
|
|
--> $DIR/bad-assoc-ty.rs:75:29
|
|
|
|
|
|
|
|
|
LL | trait P<F> where F: Fn() -> _ {
|
|
|
|
| ^ not allowed in type signatures
|
|
|
|
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
|
|
|
|
LL | trait P<F, T> where F: Fn() -> T {
|
|
|
|
| ^^^ ^
|
|
|
|
|
|
|
|
error[E0121]: the type placeholder `_` is not allowed within types on item signatures
|
|
|
|
--> $DIR/bad-assoc-ty.rs:80:38
|
|
|
|
|
|
|
|
|
LL | fn foo<F>(_: F) where F: Fn() -> _ {}
|
|
|
|
| ^ not allowed in type signatures
|
|
|
|
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
|
|
|
|
LL | fn foo<F, T>(_: F) where F: Fn() -> T {}
|
|
|
|
| ^^^ ^
|
2020-02-13 21:34:00 +00:00
|
|
|
|
2020-03-23 01:50:30 +00:00
|
|
|
error: aborting due to 29 previous errors
|
2017-12-16 22:53:11 +00:00
|
|
|
|
2020-03-23 01:50:30 +00:00
|
|
|
Some errors have detailed explanations: E0121, E0223, E0658.
|
2018-03-03 14:59:40 +00:00
|
|
|
For more information about an error, try `rustc --explain E0121`.
|