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/did_you_mean/bad-assoc-ty.rs | |
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/did_you_mean/bad-assoc-ty.rs')
-rw-r--r-- | src/test/ui/did_you_mean/bad-assoc-ty.rs | 85 |
1 files changed, 0 insertions, 85 deletions
diff --git a/src/test/ui/did_you_mean/bad-assoc-ty.rs b/src/test/ui/did_you_mean/bad-assoc-ty.rs deleted file mode 100644 index f787c416c..000000000 --- a/src/test/ui/did_you_mean/bad-assoc-ty.rs +++ /dev/null @@ -1,85 +0,0 @@ -type A = [u8; 4]::AssocTy; -//~^ ERROR missing angle brackets in associated item path -//~| ERROR ambiguous associated type - -type B = [u8]::AssocTy; -//~^ ERROR missing angle brackets in associated item path -//~| ERROR ambiguous associated type - -type C = (u8)::AssocTy; -//~^ ERROR missing angle brackets in associated item path -//~| ERROR ambiguous associated type - -type D = (u8, u8)::AssocTy; -//~^ ERROR missing angle brackets in associated item path -//~| ERROR ambiguous associated type - -type E = _::AssocTy; -//~^ ERROR missing angle brackets in associated item path -//~| ERROR the placeholder `_` is not allowed within types on item signatures for type aliases - -type F = &'static (u8)::AssocTy; -//~^ ERROR missing angle brackets in associated item path -//~| ERROR ambiguous associated type - -// Qualified paths cannot appear in bounds, so the recovery -// should apply to the whole sum and not `(Send)`. -type G = dyn 'static + (Send)::AssocTy; -//~^ ERROR missing angle brackets in associated item path -//~| ERROR ambiguous associated type - -// This is actually a legal path with fn-like generic arguments in the middle! -// Recovery should not apply in this context. -type H = Fn(u8) -> (u8)::Output; -//~^ ERROR ambiguous associated type -//~| WARN trait objects without an explicit `dyn` are deprecated -//~| WARN this is accepted in the current edition - -macro_rules! ty { - ($ty: ty) => ($ty::AssocTy); - //~^ ERROR missing angle brackets in associated item path - //~| ERROR ambiguous associated type - () => (u8); -} - -type J = ty!(u8); -type I = ty!()::AssocTy; -//~^ ERROR missing angle brackets in associated item path -//~| ERROR ambiguous associated type - -trait K<A, B> {} -fn foo<X: K<_, _>>(x: X) {} -//~^ ERROR the placeholder `_` is not allowed within types on item signatures for functions - -fn bar<F>(_: F) where F: Fn() -> _ {} -//~^ ERROR the placeholder `_` is not allowed within types on item signatures for functions - -fn baz<F: Fn() -> _>(_: F) {} -//~^ ERROR the placeholder `_` is not allowed within types on item signatures for functions - -struct L<F>(F) where F: Fn() -> _; -//~^ ERROR the placeholder `_` is not allowed within types on item signatures for structs -struct M<F> where F: Fn() -> _ { -//~^ ERROR the placeholder `_` is not allowed within types on item signatures for structs - a: F, -} -enum N<F> where F: Fn() -> _ { -//~^ ERROR the placeholder `_` is not allowed within types on item signatures for enums - Foo(F), -} - -union O<F> where F: Fn() -> _ { -//~^ ERROR the placeholder `_` is not allowed within types on item signatures for unions - foo: F, -} - -trait P<F> where F: Fn() -> _ { -//~^ ERROR the placeholder `_` is not allowed within types on item signatures for traits -} - -trait Q { - fn foo<F>(_: F) where F: Fn() -> _ {} - //~^ ERROR the placeholder `_` is not allowed within types on item signatures for functions -} - -fn main() {} |