From 218caa410aa38c29984be31a5229b9fa717560ee Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:19:13 +0200 Subject: Merging upstream version 1.68.2+dfsg1. Signed-off-by: Daniel Baumann --- src/test/ui/did_you_mean/bad-assoc-ty.rs | 85 -------------------------------- 1 file changed, 85 deletions(-) delete mode 100644 src/test/ui/did_you_mean/bad-assoc-ty.rs (limited to 'src/test/ui/did_you_mean/bad-assoc-ty.rs') 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 {} -fn foo>(x: X) {} -//~^ ERROR the placeholder `_` is not allowed within types on item signatures for functions - -fn bar(_: F) where F: Fn() -> _ {} -//~^ ERROR the placeholder `_` is not allowed within types on item signatures for functions - -fn baz _>(_: F) {} -//~^ ERROR the placeholder `_` is not allowed within types on item signatures for functions - -struct L(F) where F: Fn() -> _; -//~^ ERROR the placeholder `_` is not allowed within types on item signatures for structs -struct M where F: Fn() -> _ { -//~^ ERROR the placeholder `_` is not allowed within types on item signatures for structs - a: F, -} -enum N where F: Fn() -> _ { -//~^ ERROR the placeholder `_` is not allowed within types on item signatures for enums - Foo(F), -} - -union O where F: Fn() -> _ { -//~^ ERROR the placeholder `_` is not allowed within types on item signatures for unions - foo: F, -} - -trait P where F: Fn() -> _ { -//~^ ERROR the placeholder `_` is not allowed within types on item signatures for traits -} - -trait Q { - fn foo(_: F) where F: Fn() -> _ {} - //~^ ERROR the placeholder `_` is not allowed within types on item signatures for functions -} - -fn main() {} -- cgit v1.2.3