From 999aed4bff113924393ca55f3d6498d5c723f037 Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Sun, 8 Dec 2024 21:39:48 -0700 Subject: Add URL to test cases --- tests/rustdoc-ui/issues/issue-101076.rs | 1 + tests/rustdoc-ui/issues/issue-102986.rs | 1 + tests/rustdoc-ui/issues/issue-103997.rs | 1 + tests/rustdoc-ui/issues/issue-105334.rs | 1 + tests/rustdoc-ui/issues/issue-105737.rs | 1 + tests/rustdoc-ui/issues/issue-105742.rs | 1 + tests/rustdoc-ui/issues/issue-106213.rs | 1 + tests/rustdoc-ui/issues/issue-107918.rs | 1 + tests/rustdoc-ui/issues/issue-110900.rs | 1 + 9 files changed, 9 insertions(+) diff --git a/tests/rustdoc-ui/issues/issue-101076.rs b/tests/rustdoc-ui/issues/issue-101076.rs index f9b93c408fd..0c9a8b9175b 100644 --- a/tests/rustdoc-ui/issues/issue-101076.rs +++ b/tests/rustdoc-ui/issues/issue-101076.rs @@ -1,4 +1,5 @@ //@ check-pass +// https://github.com/rust-lang/rust/issues/101076 const _: () = { #[macro_export] diff --git a/tests/rustdoc-ui/issues/issue-102986.rs b/tests/rustdoc-ui/issues/issue-102986.rs index 001784ac285..8fcbfffe172 100644 --- a/tests/rustdoc-ui/issues/issue-102986.rs +++ b/tests/rustdoc-ui/issues/issue-102986.rs @@ -1,3 +1,4 @@ +// https://github.com/rust-lang/rust/issues/102986 struct Struct { y: (typeof("hey"),), //~^ `typeof` is a reserved keyword but unimplemented diff --git a/tests/rustdoc-ui/issues/issue-103997.rs b/tests/rustdoc-ui/issues/issue-103997.rs index ebd1d2e4447..b6ba4e48cff 100644 --- a/tests/rustdoc-ui/issues/issue-103997.rs +++ b/tests/rustdoc-ui/issues/issue-103997.rs @@ -1,4 +1,5 @@ //@ check-pass +// https://github.com/rust-lang/rust/issues/103997 pub fn foo() {} diff --git a/tests/rustdoc-ui/issues/issue-105334.rs b/tests/rustdoc-ui/issues/issue-105334.rs index ee1adc6a029..f18f0456fdd 100644 --- a/tests/rustdoc-ui/issues/issue-105334.rs +++ b/tests/rustdoc-ui/issues/issue-105334.rs @@ -1,2 +1,3 @@ +// https://github.com/rust-lang/rust/issues/105334 impl Vec< br##"*.."## > {} //~^ ERROR diff --git a/tests/rustdoc-ui/issues/issue-105737.rs b/tests/rustdoc-ui/issues/issue-105737.rs index 154f069d8ff..651fd9ab4b8 100644 --- a/tests/rustdoc-ui/issues/issue-105737.rs +++ b/tests/rustdoc-ui/issues/issue-105737.rs @@ -1,3 +1,4 @@ +// https://github.com/rust-lang/rust/issues/105737 impl Vec {} //~^ ERROR diff --git a/tests/rustdoc-ui/issues/issue-105742.rs b/tests/rustdoc-ui/issues/issue-105742.rs index bd8ec4e8b58..027574923c7 100644 --- a/tests/rustdoc-ui/issues/issue-105742.rs +++ b/tests/rustdoc-ui/issues/issue-105742.rs @@ -1,4 +1,5 @@ //@ compile-flags: -Znormalize-docs +// https://github.com/rust-lang/rust/issues/105742 use std::ops::Index; pub fn next<'a, T>(s: &'a mut dyn SVec) { diff --git a/tests/rustdoc-ui/issues/issue-106213.rs b/tests/rustdoc-ui/issues/issue-106213.rs index 5c3a8390252..c954162589d 100644 --- a/tests/rustdoc-ui/issues/issue-106213.rs +++ b/tests/rustdoc-ui/issues/issue-106213.rs @@ -1,5 +1,6 @@ //@ compile-flags: --document-private-items //@ edition:2021 +// https://github.com/rust-lang/rust/issues/106213 fn use_avx() -> dyn { //~^ ERROR at least one trait is required for an object type diff --git a/tests/rustdoc-ui/issues/issue-107918.rs b/tests/rustdoc-ui/issues/issue-107918.rs index 19d53f84cb6..ec35b52e33b 100644 --- a/tests/rustdoc-ui/issues/issue-107918.rs +++ b/tests/rustdoc-ui/issues/issue-107918.rs @@ -2,6 +2,7 @@ //@ compile-flags: --document-private-items //@ build-pass //@ only-linux +// https://github.com/rust-lang/rust/issues/107918 #![no_std] #![no_main] diff --git a/tests/rustdoc-ui/issues/issue-110900.rs b/tests/rustdoc-ui/issues/issue-110900.rs index 5a896167083..4fa60f8878d 100644 --- a/tests/rustdoc-ui/issues/issue-110900.rs +++ b/tests/rustdoc-ui/issues/issue-110900.rs @@ -1,4 +1,5 @@ //@ check-pass +// https://github.com/rust-lang/rust/issues/110900 #![crate_type="lib"] -- cgit 1.4.1-3-g733a5 From b5318549c701771bde8b06709a69d7e3eb860c1f Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Sun, 8 Dec 2024 21:59:23 -0700 Subject: rustdoc: rename `issue-\d+.rs` tests to have meaningful names --- .../issues/duplicate-panic-impl-107918.rs | 13 + .../issues/ice-associated-type-bounds-110900.rs | 28 + tests/rustdoc-ui/issues/ice-bare-dyn-106213.rs | 8 + tests/rustdoc-ui/issues/ice-bare-dyn-106213.stderr | 9 + .../issues/ice-generic-type-alias-105742.rs | 67 +++ .../issues/ice-generic-type-alias-105742.stderr | 638 +++++++++++++++++++++ .../issues/ice-impl-fn-generic-105737.rs | 5 + .../issues/ice-impl-fn-generic-105737.stderr | 12 + ...ice-macro-hidden-exported-macro-defid-101076.rs | 15 + .../issues/ice-placeholder-type-alias-106226.rs | 3 + .../ice-placeholder-type-alias-106226.stderr | 9 + tests/rustdoc-ui/issues/ice-raw-str-105334.rs | 3 + tests/rustdoc-ui/issues/ice-raw-str-105334.stderr | 9 + tests/rustdoc-ui/issues/ice-typeof-102986.rs | 5 + tests/rustdoc-ui/issues/ice-typeof-102986.stderr | 14 + .../issues/ice-unresolved-self-103997.rs | 7 + .../issues/ice-unresolved-self-103997.stderr | 10 + tests/rustdoc-ui/issues/issue-101076.rs | 15 - tests/rustdoc-ui/issues/issue-102986.rs | 5 - tests/rustdoc-ui/issues/issue-102986.stderr | 14 - tests/rustdoc-ui/issues/issue-103997.rs | 7 - tests/rustdoc-ui/issues/issue-103997.stderr | 10 - tests/rustdoc-ui/issues/issue-105334.rs | 3 - tests/rustdoc-ui/issues/issue-105334.stderr | 9 - tests/rustdoc-ui/issues/issue-105737.rs | 5 - tests/rustdoc-ui/issues/issue-105737.stderr | 12 - tests/rustdoc-ui/issues/issue-105742.rs | 67 --- tests/rustdoc-ui/issues/issue-105742.stderr | 638 --------------------- tests/rustdoc-ui/issues/issue-106213.rs | 8 - tests/rustdoc-ui/issues/issue-106213.stderr | 9 - tests/rustdoc-ui/issues/issue-106226.rs | 3 - tests/rustdoc-ui/issues/issue-106226.stderr | 9 - tests/rustdoc-ui/issues/issue-107918.rs | 13 - tests/rustdoc-ui/issues/issue-110900.rs | 28 - 34 files changed, 855 insertions(+), 855 deletions(-) create mode 100644 tests/rustdoc-ui/issues/duplicate-panic-impl-107918.rs create mode 100644 tests/rustdoc-ui/issues/ice-associated-type-bounds-110900.rs create mode 100644 tests/rustdoc-ui/issues/ice-bare-dyn-106213.rs create mode 100644 tests/rustdoc-ui/issues/ice-bare-dyn-106213.stderr create mode 100644 tests/rustdoc-ui/issues/ice-generic-type-alias-105742.rs create mode 100644 tests/rustdoc-ui/issues/ice-generic-type-alias-105742.stderr create mode 100644 tests/rustdoc-ui/issues/ice-impl-fn-generic-105737.rs create mode 100644 tests/rustdoc-ui/issues/ice-impl-fn-generic-105737.stderr create mode 100644 tests/rustdoc-ui/issues/ice-macro-hidden-exported-macro-defid-101076.rs create mode 100644 tests/rustdoc-ui/issues/ice-placeholder-type-alias-106226.rs create mode 100644 tests/rustdoc-ui/issues/ice-placeholder-type-alias-106226.stderr create mode 100644 tests/rustdoc-ui/issues/ice-raw-str-105334.rs create mode 100644 tests/rustdoc-ui/issues/ice-raw-str-105334.stderr create mode 100644 tests/rustdoc-ui/issues/ice-typeof-102986.rs create mode 100644 tests/rustdoc-ui/issues/ice-typeof-102986.stderr create mode 100644 tests/rustdoc-ui/issues/ice-unresolved-self-103997.rs create mode 100644 tests/rustdoc-ui/issues/ice-unresolved-self-103997.stderr delete mode 100644 tests/rustdoc-ui/issues/issue-101076.rs delete mode 100644 tests/rustdoc-ui/issues/issue-102986.rs delete mode 100644 tests/rustdoc-ui/issues/issue-102986.stderr delete mode 100644 tests/rustdoc-ui/issues/issue-103997.rs delete mode 100644 tests/rustdoc-ui/issues/issue-103997.stderr delete mode 100644 tests/rustdoc-ui/issues/issue-105334.rs delete mode 100644 tests/rustdoc-ui/issues/issue-105334.stderr delete mode 100644 tests/rustdoc-ui/issues/issue-105737.rs delete mode 100644 tests/rustdoc-ui/issues/issue-105737.stderr delete mode 100644 tests/rustdoc-ui/issues/issue-105742.rs delete mode 100644 tests/rustdoc-ui/issues/issue-105742.stderr delete mode 100644 tests/rustdoc-ui/issues/issue-106213.rs delete mode 100644 tests/rustdoc-ui/issues/issue-106213.stderr delete mode 100644 tests/rustdoc-ui/issues/issue-106226.rs delete mode 100644 tests/rustdoc-ui/issues/issue-106226.stderr delete mode 100644 tests/rustdoc-ui/issues/issue-107918.rs delete mode 100644 tests/rustdoc-ui/issues/issue-110900.rs diff --git a/tests/rustdoc-ui/issues/duplicate-panic-impl-107918.rs b/tests/rustdoc-ui/issues/duplicate-panic-impl-107918.rs new file mode 100644 index 00000000000..ec35b52e33b --- /dev/null +++ b/tests/rustdoc-ui/issues/duplicate-panic-impl-107918.rs @@ -0,0 +1,13 @@ +//@ aux-build:panic-handler.rs +//@ compile-flags: --document-private-items +//@ build-pass +//@ only-linux +// https://github.com/rust-lang/rust/issues/107918 + +#![no_std] +#![no_main] + +#[panic_handler] +fn panic(_: &core::panic::PanicInfo) -> ! { + loop {} +} diff --git a/tests/rustdoc-ui/issues/ice-associated-type-bounds-110900.rs b/tests/rustdoc-ui/issues/ice-associated-type-bounds-110900.rs new file mode 100644 index 00000000000..4fa60f8878d --- /dev/null +++ b/tests/rustdoc-ui/issues/ice-associated-type-bounds-110900.rs @@ -0,0 +1,28 @@ +//@ check-pass +// https://github.com/rust-lang/rust/issues/110900 + +#![crate_type="lib"] + +trait A<'a> {} +trait B<'b> {} + +trait C<'c>: for<'a> A<'a> + for<'b> B<'b> { + type As; +} + +trait E<'e> { + type As; +} +trait F<'f>: for<'a> A<'a> + for<'e> E<'e> {} +struct G +where + T: for<'l, 'i> H<'l, 'i, As: for<'a> A<'a> + 'i> +{ + t: std::marker::PhantomData, +} + +trait I<'a, 'b, 'c> { + type As; +} + +trait H<'d, 'e>: for<'f> I<'d, 'f, 'e> + 'd {} diff --git a/tests/rustdoc-ui/issues/ice-bare-dyn-106213.rs b/tests/rustdoc-ui/issues/ice-bare-dyn-106213.rs new file mode 100644 index 00000000000..c954162589d --- /dev/null +++ b/tests/rustdoc-ui/issues/ice-bare-dyn-106213.rs @@ -0,0 +1,8 @@ +//@ compile-flags: --document-private-items +//@ edition:2021 +// https://github.com/rust-lang/rust/issues/106213 + +fn use_avx() -> dyn { + //~^ ERROR at least one trait is required for an object type + !( ident_error ) +} diff --git a/tests/rustdoc-ui/issues/ice-bare-dyn-106213.stderr b/tests/rustdoc-ui/issues/ice-bare-dyn-106213.stderr new file mode 100644 index 00000000000..b029fee510e --- /dev/null +++ b/tests/rustdoc-ui/issues/ice-bare-dyn-106213.stderr @@ -0,0 +1,9 @@ +error[E0224]: at least one trait is required for an object type + --> $DIR/ice-bare-dyn-106213.rs:5:17 + | +LL | fn use_avx() -> dyn { + | ^^^ + +error: aborting due to 1 previous error + +For more information about this error, try `rustc --explain E0224`. diff --git a/tests/rustdoc-ui/issues/ice-generic-type-alias-105742.rs b/tests/rustdoc-ui/issues/ice-generic-type-alias-105742.rs new file mode 100644 index 00000000000..027574923c7 --- /dev/null +++ b/tests/rustdoc-ui/issues/ice-generic-type-alias-105742.rs @@ -0,0 +1,67 @@ +//@ compile-flags: -Znormalize-docs +// https://github.com/rust-lang/rust/issues/105742 +use std::ops::Index; + +pub fn next<'a, T>(s: &'a mut dyn SVec) { + //~^ expected 1 lifetime argument + //~| expected 1 generic argument + //~| the trait `SVec` cannot be made into an object + //~| `SVec` cannot be made into an object + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + let _ = s; +} + +pub trait SVec: Index< + ::Item, + //~^ expected 1 lifetime argument + //~| expected 1 generic argument + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + Output = ::Item, + //~^ expected 1 lifetime argument + //~| expected 1 generic argument + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + Output = ::Item> as SVec>::Item, + //~^ expected 1 lifetime argument + //~| expected 1 generic argument + //~| expected 1 lifetime argument + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| expected 1 generic argument + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` + //~| missing generics for associated type `SVec::Item` +> { + type Item<'a, T>; + + fn len(&self) -> ::Item; + //~^ expected 1 lifetime argument + //~| missing generics for associated type `SVec::Item` + //~| expected 1 generic argument + //~| missing generics for associated type `SVec::Item` +} diff --git a/tests/rustdoc-ui/issues/ice-generic-type-alias-105742.stderr b/tests/rustdoc-ui/issues/ice-generic-type-alias-105742.stderr new file mode 100644 index 00000000000..06a1cf6b118 --- /dev/null +++ b/tests/rustdoc-ui/issues/ice-generic-type-alias-105742.stderr @@ -0,0 +1,638 @@ +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:16:21 + | +LL | ::Item, + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- +help: add missing lifetime argument + | +LL | ::Item<'a>, + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:16:21 + | +LL | ::Item, + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - +help: add missing generic argument + | +LL | ::Item, + | +++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:27:37 + | +LL | Output = ::Item, + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- +help: add missing lifetime argument + | +LL | Output = ::Item<'a>, + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:27:37 + | +LL | Output = ::Item, + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - +help: add missing generic argument + | +LL | Output = ::Item, + | +++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:38:30 + | +LL | Output = ::Item> as SVec>::Item, + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- +help: add missing lifetime argument + | +LL | Output = ::Item<'a>> as SVec>::Item, + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:38:30 + | +LL | Output = ::Item> as SVec>::Item, + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - +help: add missing generic argument + | +LL | Output = ::Item> as SVec>::Item, + | +++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:38:46 + | +LL | Output = ::Item> as SVec>::Item, + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- +help: add missing lifetime argument + | +LL | Output = ::Item> as SVec>::Item<'a>, + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:38:46 + | +LL | Output = ::Item> as SVec>::Item, + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - +help: add missing generic argument + | +LL | Output = ::Item> as SVec>::Item, + | +++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:5:40 + | +LL | pub fn next<'a, T>(s: &'a mut dyn SVec) { + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- +help: add missing lifetime argument + | +LL | pub fn next<'a, T>(s: &'a mut dyn SVec = T, Output = T>) { + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:5:40 + | +LL | pub fn next<'a, T>(s: &'a mut dyn SVec) { + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - +help: add missing generic argument + | +LL | pub fn next<'a, T>(s: &'a mut dyn SVec = T, Output = T>) { + | +++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:16:21 + | +LL | ::Item, + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing lifetime argument + | +LL | ::Item<'a>, + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:16:21 + | +LL | ::Item, + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing generic argument + | +LL | ::Item, + | +++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:27:37 + | +LL | Output = ::Item, + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing lifetime argument + | +LL | Output = ::Item<'a>, + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:27:37 + | +LL | Output = ::Item, + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing generic argument + | +LL | Output = ::Item, + | +++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:38:30 + | +LL | Output = ::Item> as SVec>::Item, + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing lifetime argument + | +LL | Output = ::Item<'a>> as SVec>::Item, + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:38:30 + | +LL | Output = ::Item> as SVec>::Item, + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing generic argument + | +LL | Output = ::Item> as SVec>::Item, + | +++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:38:46 + | +LL | Output = ::Item> as SVec>::Item, + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing lifetime argument + | +LL | Output = ::Item> as SVec>::Item<'a>, + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:38:46 + | +LL | Output = ::Item> as SVec>::Item, + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing generic argument + | +LL | Output = ::Item> as SVec>::Item, + | +++ + +error[E0038]: the trait `SVec` cannot be made into an object + --> $DIR/ice-generic-type-alias-105742.rs:5:31 + | +LL | pub fn next<'a, T>(s: &'a mut dyn SVec) { + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `SVec` cannot be made into an object + | +note: for a trait to be "dyn-compatible" it needs to allow building a vtable to allow the call to be resolvable dynamically; for more information visit + --> $DIR/ice-generic-type-alias-105742.rs:15:17 + | +LL | pub trait SVec: Index< + | ____________----__^ + | | | + | | this trait cannot be made into an object... +LL | | ::Item, +LL | | +LL | | +... | +LL | |/ Output = ::Item, +LL | || +LL | || +LL | || +... || +LL | || +LL | || Output = ::Item> as SVec>::Item, + | ||_________________________________________________^ ...because it uses `Self` as a type parameter +... | +LL | | +LL | | > { + | |__^ ...because it uses `Self` as a type parameter +help: consider using an opaque type instead + | +LL | pub fn next<'a, T>(s: &'a mut impl SVec) { + | ~~~~ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:16:21 + | +LL | ::Item, + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing lifetime argument + | +LL | ::Item<'a>, + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:16:21 + | +LL | ::Item, + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing generic argument + | +LL | ::Item, + | +++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:27:37 + | +LL | Output = ::Item, + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing lifetime argument + | +LL | Output = ::Item<'a>, + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:27:37 + | +LL | Output = ::Item, + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing generic argument + | +LL | Output = ::Item, + | +++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:38:30 + | +LL | Output = ::Item> as SVec>::Item, + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing lifetime argument + | +LL | Output = ::Item<'a>> as SVec>::Item, + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:38:30 + | +LL | Output = ::Item> as SVec>::Item, + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing generic argument + | +LL | Output = ::Item> as SVec>::Item, + | +++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:38:46 + | +LL | Output = ::Item> as SVec>::Item, + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing lifetime argument + | +LL | Output = ::Item> as SVec>::Item<'a>, + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:38:46 + | +LL | Output = ::Item> as SVec>::Item, + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing generic argument + | +LL | Output = ::Item> as SVec>::Item, + | +++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:16:21 + | +LL | ::Item, + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing lifetime argument + | +LL | ::Item<'a>, + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:16:21 + | +LL | ::Item, + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing generic argument + | +LL | ::Item, + | +++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:27:37 + | +LL | Output = ::Item, + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing lifetime argument + | +LL | Output = ::Item<'a>, + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:27:37 + | +LL | Output = ::Item, + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing generic argument + | +LL | Output = ::Item, + | +++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:38:30 + | +LL | Output = ::Item> as SVec>::Item, + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing lifetime argument + | +LL | Output = ::Item<'a>> as SVec>::Item, + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:38:30 + | +LL | Output = ::Item> as SVec>::Item, + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing generic argument + | +LL | Output = ::Item> as SVec>::Item, + | +++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:38:46 + | +LL | Output = ::Item> as SVec>::Item, + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing lifetime argument + | +LL | Output = ::Item> as SVec>::Item<'a>, + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:38:46 + | +LL | Output = ::Item> as SVec>::Item, + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` +help: add missing generic argument + | +LL | Output = ::Item> as SVec>::Item, + | +++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:62:38 + | +LL | fn len(&self) -> ::Item; + | ^^^^ expected 1 lifetime argument + | +note: associated type defined here, with 1 lifetime parameter: `'a` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ -- +help: add missing lifetime argument + | +LL | fn len(&self) -> ::Item<'_>; + | ++++ + +error[E0107]: missing generics for associated type `SVec::Item` + --> $DIR/ice-generic-type-alias-105742.rs:62:38 + | +LL | fn len(&self) -> ::Item; + | ^^^^ expected 1 generic argument + | +note: associated type defined here, with 1 generic parameter: `T` + --> $DIR/ice-generic-type-alias-105742.rs:60:10 + | +LL | type Item<'a, T>; + | ^^^^ - +help: add missing generic argument + | +LL | fn len(&self) -> ::Item; + | +++ + +error: aborting due to 37 previous errors + +Some errors have detailed explanations: E0038, E0107. +For more information about an error, try `rustc --explain E0038`. diff --git a/tests/rustdoc-ui/issues/ice-impl-fn-generic-105737.rs b/tests/rustdoc-ui/issues/ice-impl-fn-generic-105737.rs new file mode 100644 index 00000000000..651fd9ab4b8 --- /dev/null +++ b/tests/rustdoc-ui/issues/ice-impl-fn-generic-105737.rs @@ -0,0 +1,5 @@ +// https://github.com/rust-lang/rust/issues/105737 +impl Vec {} +//~^ ERROR + +pub fn lol() {} diff --git a/tests/rustdoc-ui/issues/ice-impl-fn-generic-105737.stderr b/tests/rustdoc-ui/issues/ice-impl-fn-generic-105737.stderr new file mode 100644 index 00000000000..49cbebc91d9 --- /dev/null +++ b/tests/rustdoc-ui/issues/ice-impl-fn-generic-105737.stderr @@ -0,0 +1,12 @@ +error[E0747]: constant provided when a type was expected + --> $DIR/ice-impl-fn-generic-105737.rs:2:10 + | +LL | impl Vec {} + | ^^^ + | + = help: `lol` is a function item, not a type + = help: function item types cannot be named directly + +error: aborting due to 1 previous error + +For more information about this error, try `rustc --explain E0747`. diff --git a/tests/rustdoc-ui/issues/ice-macro-hidden-exported-macro-defid-101076.rs b/tests/rustdoc-ui/issues/ice-macro-hidden-exported-macro-defid-101076.rs new file mode 100644 index 00000000000..0c9a8b9175b --- /dev/null +++ b/tests/rustdoc-ui/issues/ice-macro-hidden-exported-macro-defid-101076.rs @@ -0,0 +1,15 @@ +//@ check-pass +// https://github.com/rust-lang/rust/issues/101076 + +const _: () = { + #[macro_export] + macro_rules! first_macro { + () => {} + } + mod foo { + #[macro_export] + macro_rules! second_macro { + () => {} + } + } +}; diff --git a/tests/rustdoc-ui/issues/ice-placeholder-type-alias-106226.rs b/tests/rustdoc-ui/issues/ice-placeholder-type-alias-106226.rs new file mode 100644 index 00000000000..71b497a9adc --- /dev/null +++ b/tests/rustdoc-ui/issues/ice-placeholder-type-alias-106226.rs @@ -0,0 +1,3 @@ +// This is a regression test for . +type F = [_; ()]; +//~^ ERROR diff --git a/tests/rustdoc-ui/issues/ice-placeholder-type-alias-106226.stderr b/tests/rustdoc-ui/issues/ice-placeholder-type-alias-106226.stderr new file mode 100644 index 00000000000..e9080925450 --- /dev/null +++ b/tests/rustdoc-ui/issues/ice-placeholder-type-alias-106226.stderr @@ -0,0 +1,9 @@ +error[E0121]: the placeholder `_` is not allowed within types on item signatures for type aliases + --> $DIR/ice-placeholder-type-alias-106226.rs:2:11 + | +LL | type F = [_; ()]; + | ^ not allowed in type signatures + +error: aborting due to 1 previous error + +For more information about this error, try `rustc --explain E0121`. diff --git a/tests/rustdoc-ui/issues/ice-raw-str-105334.rs b/tests/rustdoc-ui/issues/ice-raw-str-105334.rs new file mode 100644 index 00000000000..f18f0456fdd --- /dev/null +++ b/tests/rustdoc-ui/issues/ice-raw-str-105334.rs @@ -0,0 +1,3 @@ +// https://github.com/rust-lang/rust/issues/105334 +impl Vec< br##"*.."## > {} +//~^ ERROR diff --git a/tests/rustdoc-ui/issues/ice-raw-str-105334.stderr b/tests/rustdoc-ui/issues/ice-raw-str-105334.stderr new file mode 100644 index 00000000000..2096757fbb9 --- /dev/null +++ b/tests/rustdoc-ui/issues/ice-raw-str-105334.stderr @@ -0,0 +1,9 @@ +error[E0747]: constant provided when a type was expected + --> $DIR/ice-raw-str-105334.rs:2:11 + | +LL | impl Vec< br##"*.."## > {} + | ^^^^^^^^^^^ + +error: aborting due to 1 previous error + +For more information about this error, try `rustc --explain E0747`. diff --git a/tests/rustdoc-ui/issues/ice-typeof-102986.rs b/tests/rustdoc-ui/issues/ice-typeof-102986.rs new file mode 100644 index 00000000000..8fcbfffe172 --- /dev/null +++ b/tests/rustdoc-ui/issues/ice-typeof-102986.rs @@ -0,0 +1,5 @@ +// https://github.com/rust-lang/rust/issues/102986 +struct Struct { + y: (typeof("hey"),), + //~^ `typeof` is a reserved keyword but unimplemented +} diff --git a/tests/rustdoc-ui/issues/ice-typeof-102986.stderr b/tests/rustdoc-ui/issues/ice-typeof-102986.stderr new file mode 100644 index 00000000000..20dbb2661bc --- /dev/null +++ b/tests/rustdoc-ui/issues/ice-typeof-102986.stderr @@ -0,0 +1,14 @@ +error[E0516]: `typeof` is a reserved keyword but unimplemented + --> $DIR/ice-typeof-102986.rs:3:9 + | +LL | y: (typeof("hey"),), + | ^^^^^^^^^^^^^ reserved keyword + | +help: consider replacing `typeof(...)` with an actual type + | +LL | y: (&str,), + | ~~~~ + +error: aborting due to 1 previous error + +For more information about this error, try `rustc --explain E0516`. diff --git a/tests/rustdoc-ui/issues/ice-unresolved-self-103997.rs b/tests/rustdoc-ui/issues/ice-unresolved-self-103997.rs new file mode 100644 index 00000000000..b6ba4e48cff --- /dev/null +++ b/tests/rustdoc-ui/issues/ice-unresolved-self-103997.rs @@ -0,0 +1,7 @@ +//@ check-pass +// https://github.com/rust-lang/rust/issues/103997 + +pub fn foo() {} + +/// [`foo`](Self::foo) //~ WARNING unresolved link to `Self::foo` +pub use foo as bar; diff --git a/tests/rustdoc-ui/issues/ice-unresolved-self-103997.stderr b/tests/rustdoc-ui/issues/ice-unresolved-self-103997.stderr new file mode 100644 index 00000000000..9cb64079c61 --- /dev/null +++ b/tests/rustdoc-ui/issues/ice-unresolved-self-103997.stderr @@ -0,0 +1,10 @@ +warning: unresolved link to `Self::foo` + --> $DIR/ice-unresolved-self-103997.rs:6:13 + | +LL | /// [`foo`](Self::foo) + | ^^^^^^^^^ no item named `Self` in scope + | + = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default + +warning: 1 warning emitted + diff --git a/tests/rustdoc-ui/issues/issue-101076.rs b/tests/rustdoc-ui/issues/issue-101076.rs deleted file mode 100644 index 0c9a8b9175b..00000000000 --- a/tests/rustdoc-ui/issues/issue-101076.rs +++ /dev/null @@ -1,15 +0,0 @@ -//@ check-pass -// https://github.com/rust-lang/rust/issues/101076 - -const _: () = { - #[macro_export] - macro_rules! first_macro { - () => {} - } - mod foo { - #[macro_export] - macro_rules! second_macro { - () => {} - } - } -}; diff --git a/tests/rustdoc-ui/issues/issue-102986.rs b/tests/rustdoc-ui/issues/issue-102986.rs deleted file mode 100644 index 8fcbfffe172..00000000000 --- a/tests/rustdoc-ui/issues/issue-102986.rs +++ /dev/null @@ -1,5 +0,0 @@ -// https://github.com/rust-lang/rust/issues/102986 -struct Struct { - y: (typeof("hey"),), - //~^ `typeof` is a reserved keyword but unimplemented -} diff --git a/tests/rustdoc-ui/issues/issue-102986.stderr b/tests/rustdoc-ui/issues/issue-102986.stderr deleted file mode 100644 index d91f93f394a..00000000000 --- a/tests/rustdoc-ui/issues/issue-102986.stderr +++ /dev/null @@ -1,14 +0,0 @@ -error[E0516]: `typeof` is a reserved keyword but unimplemented - --> $DIR/issue-102986.rs:2:9 - | -LL | y: (typeof("hey"),), - | ^^^^^^^^^^^^^ reserved keyword - | -help: consider replacing `typeof(...)` with an actual type - | -LL | y: (&str,), - | ~~~~ - -error: aborting due to 1 previous error - -For more information about this error, try `rustc --explain E0516`. diff --git a/tests/rustdoc-ui/issues/issue-103997.rs b/tests/rustdoc-ui/issues/issue-103997.rs deleted file mode 100644 index b6ba4e48cff..00000000000 --- a/tests/rustdoc-ui/issues/issue-103997.rs +++ /dev/null @@ -1,7 +0,0 @@ -//@ check-pass -// https://github.com/rust-lang/rust/issues/103997 - -pub fn foo() {} - -/// [`foo`](Self::foo) //~ WARNING unresolved link to `Self::foo` -pub use foo as bar; diff --git a/tests/rustdoc-ui/issues/issue-103997.stderr b/tests/rustdoc-ui/issues/issue-103997.stderr deleted file mode 100644 index c06db91496f..00000000000 --- a/tests/rustdoc-ui/issues/issue-103997.stderr +++ /dev/null @@ -1,10 +0,0 @@ -warning: unresolved link to `Self::foo` - --> $DIR/issue-103997.rs:5:13 - | -LL | /// [`foo`](Self::foo) - | ^^^^^^^^^ no item named `Self` in scope - | - = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default - -warning: 1 warning emitted - diff --git a/tests/rustdoc-ui/issues/issue-105334.rs b/tests/rustdoc-ui/issues/issue-105334.rs deleted file mode 100644 index f18f0456fdd..00000000000 --- a/tests/rustdoc-ui/issues/issue-105334.rs +++ /dev/null @@ -1,3 +0,0 @@ -// https://github.com/rust-lang/rust/issues/105334 -impl Vec< br##"*.."## > {} -//~^ ERROR diff --git a/tests/rustdoc-ui/issues/issue-105334.stderr b/tests/rustdoc-ui/issues/issue-105334.stderr deleted file mode 100644 index d992b219b3b..00000000000 --- a/tests/rustdoc-ui/issues/issue-105334.stderr +++ /dev/null @@ -1,9 +0,0 @@ -error[E0747]: constant provided when a type was expected - --> $DIR/issue-105334.rs:1:11 - | -LL | impl Vec< br##"*.."## > {} - | ^^^^^^^^^^^ - -error: aborting due to 1 previous error - -For more information about this error, try `rustc --explain E0747`. diff --git a/tests/rustdoc-ui/issues/issue-105737.rs b/tests/rustdoc-ui/issues/issue-105737.rs deleted file mode 100644 index 651fd9ab4b8..00000000000 --- a/tests/rustdoc-ui/issues/issue-105737.rs +++ /dev/null @@ -1,5 +0,0 @@ -// https://github.com/rust-lang/rust/issues/105737 -impl Vec {} -//~^ ERROR - -pub fn lol() {} diff --git a/tests/rustdoc-ui/issues/issue-105737.stderr b/tests/rustdoc-ui/issues/issue-105737.stderr deleted file mode 100644 index 2c63c345e46..00000000000 --- a/tests/rustdoc-ui/issues/issue-105737.stderr +++ /dev/null @@ -1,12 +0,0 @@ -error[E0747]: constant provided when a type was expected - --> $DIR/issue-105737.rs:1:10 - | -LL | impl Vec {} - | ^^^ - | - = help: `lol` is a function item, not a type - = help: function item types cannot be named directly - -error: aborting due to 1 previous error - -For more information about this error, try `rustc --explain E0747`. diff --git a/tests/rustdoc-ui/issues/issue-105742.rs b/tests/rustdoc-ui/issues/issue-105742.rs deleted file mode 100644 index 027574923c7..00000000000 --- a/tests/rustdoc-ui/issues/issue-105742.rs +++ /dev/null @@ -1,67 +0,0 @@ -//@ compile-flags: -Znormalize-docs -// https://github.com/rust-lang/rust/issues/105742 -use std::ops::Index; - -pub fn next<'a, T>(s: &'a mut dyn SVec) { - //~^ expected 1 lifetime argument - //~| expected 1 generic argument - //~| the trait `SVec` cannot be made into an object - //~| `SVec` cannot be made into an object - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - let _ = s; -} - -pub trait SVec: Index< - ::Item, - //~^ expected 1 lifetime argument - //~| expected 1 generic argument - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - Output = ::Item, - //~^ expected 1 lifetime argument - //~| expected 1 generic argument - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - Output = ::Item> as SVec>::Item, - //~^ expected 1 lifetime argument - //~| expected 1 generic argument - //~| expected 1 lifetime argument - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| expected 1 generic argument - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` - //~| missing generics for associated type `SVec::Item` -> { - type Item<'a, T>; - - fn len(&self) -> ::Item; - //~^ expected 1 lifetime argument - //~| missing generics for associated type `SVec::Item` - //~| expected 1 generic argument - //~| missing generics for associated type `SVec::Item` -} diff --git a/tests/rustdoc-ui/issues/issue-105742.stderr b/tests/rustdoc-ui/issues/issue-105742.stderr deleted file mode 100644 index 0f09d637f38..00000000000 --- a/tests/rustdoc-ui/issues/issue-105742.stderr +++ /dev/null @@ -1,638 +0,0 @@ -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:15:21 - | -LL | ::Item, - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- -help: add missing lifetime argument - | -LL | ::Item<'a>, - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:15:21 - | -LL | ::Item, - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - -help: add missing generic argument - | -LL | ::Item, - | +++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:26:37 - | -LL | Output = ::Item, - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- -help: add missing lifetime argument - | -LL | Output = ::Item<'a>, - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:26:37 - | -LL | Output = ::Item, - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - -help: add missing generic argument - | -LL | Output = ::Item, - | +++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:37:30 - | -LL | Output = ::Item> as SVec>::Item, - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- -help: add missing lifetime argument - | -LL | Output = ::Item<'a>> as SVec>::Item, - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:37:30 - | -LL | Output = ::Item> as SVec>::Item, - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - -help: add missing generic argument - | -LL | Output = ::Item> as SVec>::Item, - | +++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:37:46 - | -LL | Output = ::Item> as SVec>::Item, - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- -help: add missing lifetime argument - | -LL | Output = ::Item> as SVec>::Item<'a>, - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:37:46 - | -LL | Output = ::Item> as SVec>::Item, - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - -help: add missing generic argument - | -LL | Output = ::Item> as SVec>::Item, - | +++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:4:40 - | -LL | pub fn next<'a, T>(s: &'a mut dyn SVec) { - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- -help: add missing lifetime argument - | -LL | pub fn next<'a, T>(s: &'a mut dyn SVec = T, Output = T>) { - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:4:40 - | -LL | pub fn next<'a, T>(s: &'a mut dyn SVec) { - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - -help: add missing generic argument - | -LL | pub fn next<'a, T>(s: &'a mut dyn SVec = T, Output = T>) { - | +++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:15:21 - | -LL | ::Item, - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing lifetime argument - | -LL | ::Item<'a>, - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:15:21 - | -LL | ::Item, - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing generic argument - | -LL | ::Item, - | +++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:26:37 - | -LL | Output = ::Item, - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing lifetime argument - | -LL | Output = ::Item<'a>, - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:26:37 - | -LL | Output = ::Item, - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing generic argument - | -LL | Output = ::Item, - | +++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:37:30 - | -LL | Output = ::Item> as SVec>::Item, - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing lifetime argument - | -LL | Output = ::Item<'a>> as SVec>::Item, - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:37:30 - | -LL | Output = ::Item> as SVec>::Item, - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing generic argument - | -LL | Output = ::Item> as SVec>::Item, - | +++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:37:46 - | -LL | Output = ::Item> as SVec>::Item, - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing lifetime argument - | -LL | Output = ::Item> as SVec>::Item<'a>, - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:37:46 - | -LL | Output = ::Item> as SVec>::Item, - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing generic argument - | -LL | Output = ::Item> as SVec>::Item, - | +++ - -error[E0038]: the trait `SVec` cannot be made into an object - --> $DIR/issue-105742.rs:4:31 - | -LL | pub fn next<'a, T>(s: &'a mut dyn SVec) { - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `SVec` cannot be made into an object - | -note: for a trait to be "dyn-compatible" it needs to allow building a vtable to allow the call to be resolvable dynamically; for more information visit - --> $DIR/issue-105742.rs:14:17 - | -LL | pub trait SVec: Index< - | ____________----__^ - | | | - | | this trait cannot be made into an object... -LL | | ::Item, -LL | | -LL | | -... | -LL | |/ Output = ::Item, -LL | || -LL | || -LL | || -... || -LL | || -LL | || Output = ::Item> as SVec>::Item, - | ||_________________________________________________^ ...because it uses `Self` as a type parameter -... | -LL | | -LL | | > { - | |__^ ...because it uses `Self` as a type parameter -help: consider using an opaque type instead - | -LL | pub fn next<'a, T>(s: &'a mut impl SVec) { - | ~~~~ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:15:21 - | -LL | ::Item, - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing lifetime argument - | -LL | ::Item<'a>, - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:15:21 - | -LL | ::Item, - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing generic argument - | -LL | ::Item, - | +++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:26:37 - | -LL | Output = ::Item, - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing lifetime argument - | -LL | Output = ::Item<'a>, - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:26:37 - | -LL | Output = ::Item, - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing generic argument - | -LL | Output = ::Item, - | +++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:37:30 - | -LL | Output = ::Item> as SVec>::Item, - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing lifetime argument - | -LL | Output = ::Item<'a>> as SVec>::Item, - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:37:30 - | -LL | Output = ::Item> as SVec>::Item, - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing generic argument - | -LL | Output = ::Item> as SVec>::Item, - | +++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:37:46 - | -LL | Output = ::Item> as SVec>::Item, - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing lifetime argument - | -LL | Output = ::Item> as SVec>::Item<'a>, - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:37:46 - | -LL | Output = ::Item> as SVec>::Item, - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing generic argument - | -LL | Output = ::Item> as SVec>::Item, - | +++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:15:21 - | -LL | ::Item, - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing lifetime argument - | -LL | ::Item<'a>, - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:15:21 - | -LL | ::Item, - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing generic argument - | -LL | ::Item, - | +++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:26:37 - | -LL | Output = ::Item, - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing lifetime argument - | -LL | Output = ::Item<'a>, - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:26:37 - | -LL | Output = ::Item, - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing generic argument - | -LL | Output = ::Item, - | +++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:37:30 - | -LL | Output = ::Item> as SVec>::Item, - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing lifetime argument - | -LL | Output = ::Item<'a>> as SVec>::Item, - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:37:30 - | -LL | Output = ::Item> as SVec>::Item, - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing generic argument - | -LL | Output = ::Item> as SVec>::Item, - | +++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:37:46 - | -LL | Output = ::Item> as SVec>::Item, - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing lifetime argument - | -LL | Output = ::Item> as SVec>::Item<'a>, - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:37:46 - | -LL | Output = ::Item> as SVec>::Item, - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` -help: add missing generic argument - | -LL | Output = ::Item> as SVec>::Item, - | +++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:61:38 - | -LL | fn len(&self) -> ::Item; - | ^^^^ expected 1 lifetime argument - | -note: associated type defined here, with 1 lifetime parameter: `'a` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ -- -help: add missing lifetime argument - | -LL | fn len(&self) -> ::Item<'_>; - | ++++ - -error[E0107]: missing generics for associated type `SVec::Item` - --> $DIR/issue-105742.rs:61:38 - | -LL | fn len(&self) -> ::Item; - | ^^^^ expected 1 generic argument - | -note: associated type defined here, with 1 generic parameter: `T` - --> $DIR/issue-105742.rs:59:10 - | -LL | type Item<'a, T>; - | ^^^^ - -help: add missing generic argument - | -LL | fn len(&self) -> ::Item; - | +++ - -error: aborting due to 37 previous errors - -Some errors have detailed explanations: E0038, E0107. -For more information about an error, try `rustc --explain E0038`. diff --git a/tests/rustdoc-ui/issues/issue-106213.rs b/tests/rustdoc-ui/issues/issue-106213.rs deleted file mode 100644 index c954162589d..00000000000 --- a/tests/rustdoc-ui/issues/issue-106213.rs +++ /dev/null @@ -1,8 +0,0 @@ -//@ compile-flags: --document-private-items -//@ edition:2021 -// https://github.com/rust-lang/rust/issues/106213 - -fn use_avx() -> dyn { - //~^ ERROR at least one trait is required for an object type - !( ident_error ) -} diff --git a/tests/rustdoc-ui/issues/issue-106213.stderr b/tests/rustdoc-ui/issues/issue-106213.stderr deleted file mode 100644 index fa79fe2e71c..00000000000 --- a/tests/rustdoc-ui/issues/issue-106213.stderr +++ /dev/null @@ -1,9 +0,0 @@ -error[E0224]: at least one trait is required for an object type - --> $DIR/issue-106213.rs:4:17 - | -LL | fn use_avx() -> dyn { - | ^^^ - -error: aborting due to 1 previous error - -For more information about this error, try `rustc --explain E0224`. diff --git a/tests/rustdoc-ui/issues/issue-106226.rs b/tests/rustdoc-ui/issues/issue-106226.rs deleted file mode 100644 index 71b497a9adc..00000000000 --- a/tests/rustdoc-ui/issues/issue-106226.rs +++ /dev/null @@ -1,3 +0,0 @@ -// This is a regression test for . -type F = [_; ()]; -//~^ ERROR diff --git a/tests/rustdoc-ui/issues/issue-106226.stderr b/tests/rustdoc-ui/issues/issue-106226.stderr deleted file mode 100644 index 4d063b46188..00000000000 --- a/tests/rustdoc-ui/issues/issue-106226.stderr +++ /dev/null @@ -1,9 +0,0 @@ -error[E0121]: the placeholder `_` is not allowed within types on item signatures for type aliases - --> $DIR/issue-106226.rs:2:11 - | -LL | type F = [_; ()]; - | ^ not allowed in type signatures - -error: aborting due to 1 previous error - -For more information about this error, try `rustc --explain E0121`. diff --git a/tests/rustdoc-ui/issues/issue-107918.rs b/tests/rustdoc-ui/issues/issue-107918.rs deleted file mode 100644 index ec35b52e33b..00000000000 --- a/tests/rustdoc-ui/issues/issue-107918.rs +++ /dev/null @@ -1,13 +0,0 @@ -//@ aux-build:panic-handler.rs -//@ compile-flags: --document-private-items -//@ build-pass -//@ only-linux -// https://github.com/rust-lang/rust/issues/107918 - -#![no_std] -#![no_main] - -#[panic_handler] -fn panic(_: &core::panic::PanicInfo) -> ! { - loop {} -} diff --git a/tests/rustdoc-ui/issues/issue-110900.rs b/tests/rustdoc-ui/issues/issue-110900.rs deleted file mode 100644 index 4fa60f8878d..00000000000 --- a/tests/rustdoc-ui/issues/issue-110900.rs +++ /dev/null @@ -1,28 +0,0 @@ -//@ check-pass -// https://github.com/rust-lang/rust/issues/110900 - -#![crate_type="lib"] - -trait A<'a> {} -trait B<'b> {} - -trait C<'c>: for<'a> A<'a> + for<'b> B<'b> { - type As; -} - -trait E<'e> { - type As; -} -trait F<'f>: for<'a> A<'a> + for<'e> E<'e> {} -struct G -where - T: for<'l, 'i> H<'l, 'i, As: for<'a> A<'a> + 'i> -{ - t: std::marker::PhantomData, -} - -trait I<'a, 'b, 'c> { - type As; -} - -trait H<'d, 'e>: for<'f> I<'d, 'f, 'e> + 'd {} -- cgit 1.4.1-3-g733a5