summaryrefslogtreecommitdiffstats
path: root/tests/ui/ufcs/ufcs-partially-resolved.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/ufcs/ufcs-partially-resolved.stderr')
-rw-r--r--tests/ui/ufcs/ufcs-partially-resolved.stderr190
1 files changed, 117 insertions, 73 deletions
diff --git a/tests/ui/ufcs/ufcs-partially-resolved.stderr b/tests/ui/ufcs/ufcs-partially-resolved.stderr
index 72fccea8a..eef55c8dc 100644
--- a/tests/ui/ufcs/ufcs-partially-resolved.stderr
+++ b/tests/ui/ufcs/ufcs-partially-resolved.stderr
@@ -1,15 +1,3 @@
-error[E0433]: failed to resolve: `Y` is a variant, not a module
- --> $DIR/ufcs-partially-resolved.rs:48:22
- |
-LL | let _: <u8 as E::Y>::NN;
- | ^ `Y` is a variant, not a module
-
-error[E0433]: failed to resolve: `Y` is a variant, not a module
- --> $DIR/ufcs-partially-resolved.rs:50:15
- |
-LL | <u8 as E::Y>::NN;
- | ^ `Y` is a variant, not a module
-
error[E0576]: cannot find associated type `N` in trait `Tr`
--> $DIR/ufcs-partially-resolved.rs:19:24
|
@@ -19,17 +7,25 @@ LL | type Y = u16;
LL | let _: <u8 as Tr>::N;
| ^ help: an associated type with a similar name exists: `Y`
-error[E0576]: cannot find associated type `N` in enum `E`
- --> $DIR/ufcs-partially-resolved.rs:20:23
+error[E0404]: expected trait, found enum `E`
+ --> $DIR/ufcs-partially-resolved.rs:20:19
|
LL | let _: <u8 as E>::N;
- | ^ not found in `E`
+ | ^ help: a trait with a similar name exists: `Eq`
+ --> $SRC_DIR/core/src/cmp.rs:LL:COL
+ |
+ = note: similarly named trait `Eq` defined here
-error[E0576]: cannot find associated type `N` in `A`
- --> $DIR/ufcs-partially-resolved.rs:21:23
+error[E0404]: expected trait, found type alias `A`
+ --> $DIR/ufcs-partially-resolved.rs:21:19
|
LL | let _: <u8 as A>::N;
- | ^ not found in `A`
+ | ^ type aliases cannot be used as traits
+ |
+help: you might have meant to use `#![feature(trait_alias)]` instead of a `type` alias
+ |
+LL | trait A = u32;
+ |
error[E0576]: cannot find method or associated constant `N` in trait `Tr`
--> $DIR/ufcs-partially-resolved.rs:22:17
@@ -40,29 +36,43 @@ LL | fn Y() {}
LL | <u8 as Tr>::N;
| ^ help: an associated function with a similar name exists: `Y`
-error[E0576]: cannot find method or associated constant `N` in enum `E`
- --> $DIR/ufcs-partially-resolved.rs:23:16
+error[E0404]: expected trait, found enum `E`
+ --> $DIR/ufcs-partially-resolved.rs:23:12
|
LL | <u8 as E>::N;
- | ^ not found in `E`
+ | ^ help: a trait with a similar name exists: `Eq`
+ --> $SRC_DIR/core/src/cmp.rs:LL:COL
+ |
+ = note: similarly named trait `Eq` defined here
-error[E0576]: cannot find method or associated constant `N` in `A`
- --> $DIR/ufcs-partially-resolved.rs:24:16
+error[E0404]: expected trait, found type alias `A`
+ --> $DIR/ufcs-partially-resolved.rs:24:12
|
LL | <u8 as A>::N;
- | ^ not found in `A`
+ | ^ type aliases cannot be used as traits
+ |
+help: you might have meant to use `#![feature(trait_alias)]` instead of a `type` alias
+ |
+LL | trait A = u32;
+ |
-error[E0575]: expected associated type, found variant `E::Y`
- --> $DIR/ufcs-partially-resolved.rs:26:12
+error[E0404]: expected trait, found enum `E`
+ --> $DIR/ufcs-partially-resolved.rs:26:19
|
LL | let _: <u8 as E>::Y;
- | ^^^^^^^^^^^^ not a associated type
+ | ^ help: a trait with a similar name exists: `Eq`
+ --> $SRC_DIR/core/src/cmp.rs:LL:COL
+ |
+ = note: similarly named trait `Eq` defined here
-error[E0575]: expected method or associated constant, found unit variant `E::Y`
- --> $DIR/ufcs-partially-resolved.rs:28:5
+error[E0404]: expected trait, found enum `E`
+ --> $DIR/ufcs-partially-resolved.rs:28:12
|
LL | <u8 as E>::Y;
- | ^^^^^^^^^^^^ not a method or associated constant
+ | ^ help: a trait with a similar name exists: `Eq`
+ --> $SRC_DIR/core/src/cmp.rs:LL:COL
+ |
+ = note: similarly named trait `Eq` defined here
error[E0576]: cannot find associated type `N` in trait `Tr`
--> $DIR/ufcs-partially-resolved.rs:30:24
@@ -73,17 +83,25 @@ LL | type Y = u16;
LL | let _: <u8 as Tr>::N::NN;
| ^ help: an associated type with a similar name exists: `Y`
-error[E0576]: cannot find associated type `N` in enum `E`
- --> $DIR/ufcs-partially-resolved.rs:31:23
+error[E0404]: expected trait, found enum `E`
+ --> $DIR/ufcs-partially-resolved.rs:31:19
|
LL | let _: <u8 as E>::N::NN;
- | ^ not found in `E`
+ | ^ help: a trait with a similar name exists: `Eq`
+ --> $SRC_DIR/core/src/cmp.rs:LL:COL
+ |
+ = note: similarly named trait `Eq` defined here
-error[E0576]: cannot find associated type `N` in `A`
- --> $DIR/ufcs-partially-resolved.rs:32:23
+error[E0404]: expected trait, found type alias `A`
+ --> $DIR/ufcs-partially-resolved.rs:32:19
|
LL | let _: <u8 as A>::N::NN;
- | ^ not found in `A`
+ | ^ type aliases cannot be used as traits
+ |
+help: you might have meant to use `#![feature(trait_alias)]` instead of a `type` alias
+ |
+LL | trait A = u32;
+ |
error[E0576]: cannot find associated type `N` in trait `Tr`
--> $DIR/ufcs-partially-resolved.rs:33:17
@@ -94,77 +112,103 @@ LL | type Y = u16;
LL | <u8 as Tr>::N::NN;
| ^ help: an associated type with a similar name exists: `Y`
-error[E0576]: cannot find associated type `N` in enum `E`
- --> $DIR/ufcs-partially-resolved.rs:34:16
+error[E0404]: expected trait, found enum `E`
+ --> $DIR/ufcs-partially-resolved.rs:34:12
|
LL | <u8 as E>::N::NN;
- | ^ not found in `E`
+ | ^ help: a trait with a similar name exists: `Eq`
+ --> $SRC_DIR/core/src/cmp.rs:LL:COL
+ |
+ = note: similarly named trait `Eq` defined here
-error[E0576]: cannot find associated type `N` in `A`
- --> $DIR/ufcs-partially-resolved.rs:35:16
+error[E0404]: expected trait, found type alias `A`
+ --> $DIR/ufcs-partially-resolved.rs:35:12
|
LL | <u8 as A>::N::NN;
- | ^ not found in `A`
+ | ^ type aliases cannot be used as traits
+ |
+help: you might have meant to use `#![feature(trait_alias)]` instead of a `type` alias
+ |
+LL | trait A = u32;
+ |
-error[E0575]: expected associated type, found variant `E::Y`
- --> $DIR/ufcs-partially-resolved.rs:37:12
+error[E0404]: expected trait, found enum `E`
+ --> $DIR/ufcs-partially-resolved.rs:37:19
|
LL | let _: <u8 as E>::Y::NN;
- | ^^^^^^^^^^^^^^^^ not a associated type
+ | ^ help: a trait with a similar name exists: `Eq`
+ --> $SRC_DIR/core/src/cmp.rs:LL:COL
+ |
+ = note: similarly named trait `Eq` defined here
-error[E0575]: expected associated type, found variant `E::Y`
- --> $DIR/ufcs-partially-resolved.rs:39:5
+error[E0404]: expected trait, found enum `E`
+ --> $DIR/ufcs-partially-resolved.rs:39:12
|
LL | <u8 as E>::Y::NN;
- | ^^^^^^^^^^^^^^^^ not a associated type
+ | ^ help: a trait with a similar name exists: `Eq`
+ --> $SRC_DIR/core/src/cmp.rs:LL:COL
+ |
+ = note: similarly named trait `Eq` defined here
-error[E0576]: cannot find associated type `NN` in `Tr::N`
- --> $DIR/ufcs-partially-resolved.rs:41:27
+error[E0405]: cannot find trait `N` in trait `Tr`
+ --> $DIR/ufcs-partially-resolved.rs:41:23
|
LL | let _: <u8 as Tr::N>::NN;
- | ^^ not found in `Tr::N`
+ | ^ not found in `Tr`
-error[E0576]: cannot find associated type `NN` in `E::N`
- --> $DIR/ufcs-partially-resolved.rs:42:26
+error[E0405]: cannot find trait `N` in enum `E`
+ --> $DIR/ufcs-partially-resolved.rs:42:22
|
LL | let _: <u8 as E::N>::NN;
- | ^^ not found in `E::N`
+ | ^ not found in `E`
-error[E0576]: cannot find associated type `NN` in `A::N`
- --> $DIR/ufcs-partially-resolved.rs:43:26
+error[E0405]: cannot find trait `N` in `A`
+ --> $DIR/ufcs-partially-resolved.rs:43:22
|
LL | let _: <u8 as A::N>::NN;
- | ^^ not found in `A::N`
+ | ^ not found in `A`
-error[E0576]: cannot find method or associated constant `NN` in `Tr::N`
- --> $DIR/ufcs-partially-resolved.rs:44:20
+error[E0405]: cannot find trait `N` in trait `Tr`
+ --> $DIR/ufcs-partially-resolved.rs:44:16
|
LL | <u8 as Tr::N>::NN;
- | ^^ not found in `Tr::N`
+ | ^ not found in `Tr`
-error[E0576]: cannot find method or associated constant `NN` in `E::N`
- --> $DIR/ufcs-partially-resolved.rs:45:19
+error[E0405]: cannot find trait `N` in enum `E`
+ --> $DIR/ufcs-partially-resolved.rs:45:15
|
LL | <u8 as E::N>::NN;
- | ^^ not found in `E::N`
+ | ^ not found in `E`
-error[E0576]: cannot find method or associated constant `NN` in `A::N`
- --> $DIR/ufcs-partially-resolved.rs:46:19
+error[E0405]: cannot find trait `N` in `A`
+ --> $DIR/ufcs-partially-resolved.rs:46:15
|
LL | <u8 as A::N>::NN;
- | ^^ not found in `A::N`
+ | ^ not found in `A`
-error[E0576]: cannot find associated type `NN` in `Tr::Y`
- --> $DIR/ufcs-partially-resolved.rs:47:27
+error[E0404]: expected trait, found associated type `Tr::Y`
+ --> $DIR/ufcs-partially-resolved.rs:47:19
|
LL | let _: <u8 as Tr::Y>::NN;
- | ^^ not found in `Tr::Y`
+ | ^^^^^ not a trait
+
+error[E0404]: expected trait, found variant `E::Y`
+ --> $DIR/ufcs-partially-resolved.rs:48:19
+ |
+LL | let _: <u8 as E::Y>::NN;
+ | ^^^^ not a trait
-error[E0576]: cannot find method or associated constant `NN` in `Tr::Y`
- --> $DIR/ufcs-partially-resolved.rs:49:20
+error[E0404]: expected trait, found associated type `Tr::Y`
+ --> $DIR/ufcs-partially-resolved.rs:49:12
|
LL | <u8 as Tr::Y>::NN;
- | ^^ not found in `Tr::Y`
+ | ^^^^^ not a trait
+
+error[E0404]: expected trait, found variant `E::Y`
+ --> $DIR/ufcs-partially-resolved.rs:50:12
+ |
+LL | <u8 as E::Y>::NN;
+ | ^^^^ not a trait
error[E0575]: expected associated type, found associated function `Dr::Z`
--> $DIR/ufcs-partially-resolved.rs:52:12
@@ -226,5 +270,5 @@ LL | <u8 as Dr>::X::N;
error: aborting due to 32 previous errors
-Some errors have detailed explanations: E0223, E0433, E0575, E0576, E0599.
+Some errors have detailed explanations: E0223, E0404, E0405, E0575, E0576, E0599.
For more information about an error, try `rustc --explain E0223`.