diff options
Diffstat (limited to '')
| -rw-r--r-- | tests/ui/ufcs-polymorphic-paths.rs (renamed from src/test/ui/ufcs-polymorphic-paths.rs) | 0 | ||||
| -rw-r--r-- | tests/ui/ufcs/ufcs-explicit-self-bad.rs (renamed from src/test/ui/ufcs/ufcs-explicit-self-bad.rs) | 0 | ||||
| -rw-r--r-- | tests/ui/ufcs/ufcs-explicit-self-bad.stderr (renamed from src/test/ui/ufcs/ufcs-explicit-self-bad.stderr) | 0 | ||||
| -rw-r--r-- | tests/ui/ufcs/ufcs-partially-resolved.rs (renamed from src/test/ui/ufcs/ufcs-partially-resolved.rs) | 0 | ||||
| -rw-r--r-- | tests/ui/ufcs/ufcs-partially-resolved.stderr (renamed from src/test/ui/ufcs/ufcs-partially-resolved.stderr) | 7 | ||||
| -rw-r--r-- | tests/ui/ufcs/ufcs-qpath-missing-params.rs (renamed from src/test/ui/ufcs/ufcs-qpath-missing-params.rs) | 0 | ||||
| -rw-r--r-- | tests/ui/ufcs/ufcs-qpath-missing-params.stderr (renamed from src/test/ui/ufcs/ufcs-qpath-missing-params.stderr) | 4 | ||||
| -rw-r--r-- | tests/ui/ufcs/ufcs-qpath-self-mismatch.rs (renamed from src/test/ui/ufcs/ufcs-qpath-self-mismatch.rs) | 0 | ||||
| -rw-r--r-- | tests/ui/ufcs/ufcs-qpath-self-mismatch.stderr (renamed from src/test/ui/ufcs/ufcs-qpath-self-mismatch.stderr) | 20 |
9 files changed, 22 insertions, 9 deletions
diff --git a/src/test/ui/ufcs-polymorphic-paths.rs b/tests/ui/ufcs-polymorphic-paths.rs index a14ebd6a4..a14ebd6a4 100644 --- a/src/test/ui/ufcs-polymorphic-paths.rs +++ b/tests/ui/ufcs-polymorphic-paths.rs diff --git a/src/test/ui/ufcs/ufcs-explicit-self-bad.rs b/tests/ui/ufcs/ufcs-explicit-self-bad.rs index cb1fac0ba..cb1fac0ba 100644 --- a/src/test/ui/ufcs/ufcs-explicit-self-bad.rs +++ b/tests/ui/ufcs/ufcs-explicit-self-bad.rs diff --git a/src/test/ui/ufcs/ufcs-explicit-self-bad.stderr b/tests/ui/ufcs/ufcs-explicit-self-bad.stderr index f325d1d81..f325d1d81 100644 --- a/src/test/ui/ufcs/ufcs-explicit-self-bad.stderr +++ b/tests/ui/ufcs/ufcs-explicit-self-bad.stderr diff --git a/src/test/ui/ufcs/ufcs-partially-resolved.rs b/tests/ui/ufcs/ufcs-partially-resolved.rs index e6470aa6d..e6470aa6d 100644 --- a/src/test/ui/ufcs/ufcs-partially-resolved.rs +++ b/tests/ui/ufcs/ufcs-partially-resolved.rs diff --git a/src/test/ui/ufcs/ufcs-partially-resolved.stderr b/tests/ui/ufcs/ufcs-partially-resolved.stderr index 3950dc987..72fccea8a 100644 --- a/src/test/ui/ufcs/ufcs-partially-resolved.stderr +++ b/tests/ui/ufcs/ufcs-partially-resolved.stderr @@ -205,7 +205,12 @@ error[E0223]: ambiguous associated type --> $DIR/ufcs-partially-resolved.rs:36:12 | LL | let _: <u8 as Tr>::Y::NN; - | ^^^^^^^^^^^^^^^^^ help: use fully-qualified syntax: `<u16 as Trait>::NN` + | ^^^^^^^^^^^^^^^^^ + | +help: if there were a trait named `Example` with associated type `NN` implemented for `<u8 as Tr>::Y`, you could use the fully-qualified path + | +LL | let _: <<u8 as Tr>::Y as Example>::NN; + | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error[E0599]: no associated item named `NN` found for type `u16` in the current scope --> $DIR/ufcs-partially-resolved.rs:38:20 diff --git a/src/test/ui/ufcs/ufcs-qpath-missing-params.rs b/tests/ui/ufcs/ufcs-qpath-missing-params.rs index 766351634..766351634 100644 --- a/src/test/ui/ufcs/ufcs-qpath-missing-params.rs +++ b/tests/ui/ufcs/ufcs-qpath-missing-params.rs diff --git a/src/test/ui/ufcs/ufcs-qpath-missing-params.stderr b/tests/ui/ufcs/ufcs-qpath-missing-params.stderr index a832964d2..d0ec47d61 100644 --- a/src/test/ui/ufcs/ufcs-qpath-missing-params.stderr +++ b/tests/ui/ufcs/ufcs-qpath-missing-params.stderr @@ -12,7 +12,7 @@ LL | pub trait IntoCow<'a, B: ?Sized> where B: ToOwned { help: add missing generic argument | LL | <String as IntoCow<B>>::into_cow("foo".to_string()); - | ~~~~~~~~~~ + | +++ error[E0107]: missing generics for trait `IntoCow` --> $DIR/ufcs-qpath-missing-params.rs:17:16 @@ -28,7 +28,7 @@ LL | pub trait IntoCow<'a, B: ?Sized> where B: ToOwned { help: add missing generic argument | LL | <String as IntoCow<B>>::into_cow::<str>("foo".to_string()); - | ~~~~~~~~~~ + | +++ error[E0107]: this associated function takes 0 generic arguments but 1 generic argument was supplied --> $DIR/ufcs-qpath-missing-params.rs:17:26 diff --git a/src/test/ui/ufcs/ufcs-qpath-self-mismatch.rs b/tests/ui/ufcs/ufcs-qpath-self-mismatch.rs index ec86213f8..ec86213f8 100644 --- a/src/test/ui/ufcs/ufcs-qpath-self-mismatch.rs +++ b/tests/ui/ufcs/ufcs-qpath-self-mismatch.rs diff --git a/src/test/ui/ufcs/ufcs-qpath-self-mismatch.stderr b/tests/ui/ufcs/ufcs-qpath-self-mismatch.stderr index ed56e1cf9..e85144a31 100644 --- a/src/test/ui/ufcs/ufcs-qpath-self-mismatch.stderr +++ b/tests/ui/ufcs/ufcs-qpath-self-mismatch.stderr @@ -21,11 +21,15 @@ LL | <i32 as Add<i32>>::add(1u32, 2); | | | arguments to this function are incorrect | +help: the return type of this call is `u32` due to the type of the argument passed + --> $DIR/ufcs-qpath-self-mismatch.rs:7:5 + | +LL | <i32 as Add<i32>>::add(1u32, 2); + | ^^^^^^^^^^^^^^^^^^^^^^^----^^^^ + | | + | this argument influences the return type of `Add` note: associated function defined here --> $SRC_DIR/core/src/ops/arith.rs:LL:COL - | -LL | fn add(self, rhs: Rhs) -> Self::Output; - | ^^^ help: change the type of the numeric literal from `u32` to `i32` | LL | <i32 as Add<i32>>::add(1i32, 2); @@ -39,11 +43,15 @@ LL | <i32 as Add<i32>>::add(1, 2u32); | | | arguments to this function are incorrect | +help: the return type of this call is `u32` due to the type of the argument passed + --> $DIR/ufcs-qpath-self-mismatch.rs:9:5 + | +LL | <i32 as Add<i32>>::add(1, 2u32); + | ^^^^^^^^^^^^^^^^^^^^^^^^^^----^ + | | + | this argument influences the return type of `Add` note: associated function defined here --> $SRC_DIR/core/src/ops/arith.rs:LL:COL - | -LL | fn add(self, rhs: Rhs) -> Self::Output; - | ^^^ help: change the type of the numeric literal from `u32` to `i32` | LL | <i32 as Add<i32>>::add(1, 2i32); |