diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:19:13 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:19:13 +0000 |
commit | 218caa410aa38c29984be31a5229b9fa717560ee (patch) | |
tree | c54bd55eeb6e4c508940a30e94c0032fbd45d677 /src/test/ui/qualified | |
parent | Releasing progress-linux version 1.67.1+dfsg1-1~progress7.99u1. (diff) | |
download | rustc-218caa410aa38c29984be31a5229b9fa717560ee.tar.xz rustc-218caa410aa38c29984be31a5229b9fa717560ee.zip |
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/qualified')
-rw-r--r-- | src/test/ui/qualified/qualified-path-params-2.rs | 21 | ||||
-rw-r--r-- | src/test/ui/qualified/qualified-path-params-2.stderr | 9 | ||||
-rw-r--r-- | src/test/ui/qualified/qualified-path-params.rs | 25 | ||||
-rw-r--r-- | src/test/ui/qualified/qualified-path-params.stderr | 18 |
4 files changed, 0 insertions, 73 deletions
diff --git a/src/test/ui/qualified/qualified-path-params-2.rs b/src/test/ui/qualified/qualified-path-params-2.rs deleted file mode 100644 index d0cc1fa3d..000000000 --- a/src/test/ui/qualified/qualified-path-params-2.rs +++ /dev/null @@ -1,21 +0,0 @@ -// Check that qualified paths with type parameters -// fail during type checking and not during parsing - -struct S; - -trait Tr { - type A; -} - -impl Tr for S { - type A = S; -} - -impl S { - fn f<T>() {} -} - -type A = <S as Tr>::A::f<u8>; -//~^ ERROR ambiguous associated type - -fn main() {} diff --git a/src/test/ui/qualified/qualified-path-params-2.stderr b/src/test/ui/qualified/qualified-path-params-2.stderr deleted file mode 100644 index 948f21fce..000000000 --- a/src/test/ui/qualified/qualified-path-params-2.stderr +++ /dev/null @@ -1,9 +0,0 @@ -error[E0223]: ambiguous associated type - --> $DIR/qualified-path-params-2.rs:18:10 - | -LL | type A = <S as Tr>::A::f<u8>; - | ^^^^^^^^^^^^^^^^^^^ help: use fully-qualified syntax: `<<S as Tr>::A as Trait>::f` - -error: aborting due to previous error - -For more information about this error, try `rustc --explain E0223`. diff --git a/src/test/ui/qualified/qualified-path-params.rs b/src/test/ui/qualified/qualified-path-params.rs deleted file mode 100644 index e8a95a460..000000000 --- a/src/test/ui/qualified/qualified-path-params.rs +++ /dev/null @@ -1,25 +0,0 @@ -// Check that qualified paths with type parameters -// fail during type checking and not during parsing - -struct S; - -trait Tr { - type A; -} - -impl Tr for S { - type A = S; -} - -impl S { - fn f<T>() {} -} - -fn main() { - match 10 { - <S as Tr>::A::f::<u8> => {} - //~^ ERROR expected unit struct, unit variant or constant, found associated function - 0 ..= <S as Tr>::A::f::<u8> => {} - //~^ ERROR only `char` and numeric types are allowed in range - } -} diff --git a/src/test/ui/qualified/qualified-path-params.stderr b/src/test/ui/qualified/qualified-path-params.stderr deleted file mode 100644 index a49ed6c8f..000000000 --- a/src/test/ui/qualified/qualified-path-params.stderr +++ /dev/null @@ -1,18 +0,0 @@ -error[E0533]: expected unit struct, unit variant or constant, found associated function `<<S as Tr>::A>::f<u8>` - --> $DIR/qualified-path-params.rs:20:9 - | -LL | <S as Tr>::A::f::<u8> => {} - | ^^^^^^^^^^^^^^^^^^^^^ not a unit struct, unit variant or constant - -error[E0029]: only `char` and numeric types are allowed in range patterns - --> $DIR/qualified-path-params.rs:22:15 - | -LL | 0 ..= <S as Tr>::A::f::<u8> => {} - | - ^^^^^^^^^^^^^^^^^^^^^ this is of type `fn() {S::f::<u8>}` but it should be `char` or numeric - | | - | this is of type `{integer}` - -error: aborting due to 2 previous errors - -Some errors have detailed explanations: E0029, E0533. -For more information about an error, try `rustc --explain E0029`. |