From ef24de24a82fe681581cc130f342363c47c0969a Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Fri, 7 Jun 2024 07:48:48 +0200 Subject: Merging upstream version 1.75.0+dfsg1. Signed-off-by: Daniel Baumann --- .../assoc/associated-types-project-from-hrtb-explicit.rs | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 tests/ui/parser/assoc/associated-types-project-from-hrtb-explicit.rs (limited to 'tests/ui/parser/assoc/associated-types-project-from-hrtb-explicit.rs') diff --git a/tests/ui/parser/assoc/associated-types-project-from-hrtb-explicit.rs b/tests/ui/parser/assoc/associated-types-project-from-hrtb-explicit.rs new file mode 100644 index 000000000..b238a9ca2 --- /dev/null +++ b/tests/ui/parser/assoc/associated-types-project-from-hrtb-explicit.rs @@ -0,0 +1,16 @@ +// Test you can't use a higher-ranked trait bound inside of a qualified +// path (just won't parse). + +pub trait Foo { + type A; + + fn get(&self, t: T) -> Self::A; +} + +fn foo2(x: Foo<&'x isize>>::A) + //~^ ERROR expected identifier, found keyword `for` + //~| ERROR expected one of `::` or `>` +{ +} + +pub fn main() {} -- cgit v1.2.3