Skip to content
Merged
Show file tree
Hide file tree
Changes from 2 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 7 additions & 1 deletion compiler/rustc_parse/src/parser/ty.rs
Original file line number Diff line number Diff line change
Expand Up @@ -640,7 +640,13 @@ impl<'a> Parser<'a> {
let mut bounds = Vec::new();
let mut negative_bounds = Vec::new();

while self.can_begin_bound() || self.token.is_keyword(kw::Dyn) {
while self.can_begin_bound()
// Continue even if we find a keyword.
// This is necessary for error recover on, for example, `impl fn()`.
//
// The only keyword that can go after generic bounds is `where`, so stop if it's it.
|| (self.token.is_reserved_ident() && !self.token.is_keyword(kw::Where))
{
if self.token.is_keyword(kw::Dyn) {
// Account for `&dyn Trait + dyn Other`.
self.struct_span_err(self.token.span, "invalid `dyn` keyword")
Expand Down
47 changes: 47 additions & 0 deletions src/test/ui/parser/kw-in-trait-bounds.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,47 @@
// edition:2018

fn _f<F: fn(), G>(_: impl fn(), _: &dyn fn())
//~^ ERROR expected identifier, found keyword `fn`
//~| ERROR expected identifier, found keyword `fn`
//~| ERROR expected identifier, found keyword `fn`
//~| ERROR cannot find trait `r#fn` in this scope
//~| ERROR cannot find trait `r#fn` in this scope
//~| ERROR cannot find trait `r#fn` in this scope
//~| HELP a trait with a similar name exists
//~| HELP a trait with a similar name exists
//~| HELP a trait with a similar name exists
//~| HELP escape `fn` to use it as an identifier
//~| HELP escape `fn` to use it as an identifier
//~| HELP escape `fn` to use it as an identifier
where
G: fn(),
//~^ ERROR expected identifier, found keyword `fn`
//~| ERROR cannot find trait `r#fn` in this scope
//~| HELP a trait with a similar name exists
//~| HELP escape `fn` to use it as an identifier
{}

fn _g<A: struct, B>(_: impl struct, _: &dyn struct)
//~^ ERROR expected identifier, found keyword `struct`
//~| ERROR expected identifier, found keyword `struct`
//~| ERROR expected identifier, found keyword `struct`
//~| ERROR cannot find trait `r#struct` in this scope
//~| ERROR cannot find trait `r#struct` in this scope
//~| ERROR cannot find trait `r#struct` in this scope
//~| HELP a trait with a similar name exists
//~| HELP a trait with a similar name exists
//~| HELP a trait with a similar name exists
//~| HELP escape `struct` to use it as an identifier
//~| HELP escape `struct` to use it as an identifier
//~| HELP escape `struct` to use it as an identifier
where
B: struct,
//~^ ERROR expected identifier, found keyword `struct`
//~| ERROR cannot find trait `r#struct` in this scope
//~| HELP a trait with a similar name exists
//~| HELP escape `struct` to use it as an identifier
{}

trait Struct {}

fn main() {}
171 changes: 171 additions & 0 deletions src/test/ui/parser/kw-in-trait-bounds.stderr
Original file line number Diff line number Diff line change
@@ -0,0 +1,171 @@
error: expected identifier, found keyword `fn`
--> $DIR/kw-in-trait-bounds.rs:3:10
|
LL | fn _f<F: fn(), G>(_: impl fn(), _: &dyn fn())
| ^^ expected identifier, found keyword
|
help: escape `fn` to use it as an identifier
|
LL | fn _f<F: r#fn(), G>(_: impl fn(), _: &dyn fn())
| ++

error: expected identifier, found keyword `fn`
--> $DIR/kw-in-trait-bounds.rs:3:27
|
LL | fn _f<F: fn(), G>(_: impl fn(), _: &dyn fn())
| ^^ expected identifier, found keyword
|
help: escape `fn` to use it as an identifier
|
LL | fn _f<F: fn(), G>(_: impl r#fn(), _: &dyn fn())
| ++

error: expected identifier, found keyword `fn`
--> $DIR/kw-in-trait-bounds.rs:3:41
|
LL | fn _f<F: fn(), G>(_: impl fn(), _: &dyn fn())
| ^^ expected identifier, found keyword
|
help: escape `fn` to use it as an identifier
|
LL | fn _f<F: fn(), G>(_: impl fn(), _: &dyn r#fn())
| ++

error: expected identifier, found keyword `fn`
--> $DIR/kw-in-trait-bounds.rs:17:4
|
LL | G: fn(),
| ^^ expected identifier, found keyword
|
help: escape `fn` to use it as an identifier
|
LL | G: r#fn(),
| ++

error: expected identifier, found keyword `struct`
--> $DIR/kw-in-trait-bounds.rs:24:10
|
LL | fn _g<A: struct, B>(_: impl struct, _: &dyn struct)
| ^^^^^^ expected identifier, found keyword
|
help: escape `struct` to use it as an identifier
|
LL | fn _g<A: r#struct, B>(_: impl struct, _: &dyn struct)
| ++

error: expected identifier, found keyword `struct`
--> $DIR/kw-in-trait-bounds.rs:24:29
|
LL | fn _g<A: struct, B>(_: impl struct, _: &dyn struct)
| ^^^^^^ expected identifier, found keyword
|
help: escape `struct` to use it as an identifier
|
LL | fn _g<A: struct, B>(_: impl r#struct, _: &dyn struct)
| ++

error: expected identifier, found keyword `struct`
--> $DIR/kw-in-trait-bounds.rs:24:45
|
LL | fn _g<A: struct, B>(_: impl struct, _: &dyn struct)
| ^^^^^^ expected identifier, found keyword
|
help: escape `struct` to use it as an identifier
|
LL | fn _g<A: struct, B>(_: impl struct, _: &dyn r#struct)
| ++

error: expected identifier, found keyword `struct`
--> $DIR/kw-in-trait-bounds.rs:38:8
|
LL | B: struct,
| ^^^^^^ expected identifier, found keyword
|
help: escape `struct` to use it as an identifier
|
LL | B: r#struct,
| ++

error[E0405]: cannot find trait `r#fn` in this scope
--> $DIR/kw-in-trait-bounds.rs:3:10
|
LL | fn _f<F: fn(), G>(_: impl fn(), _: &dyn fn())
| ^^ help: a trait with a similar name exists (notice the capitalization): `Fn`
|
::: $SRC_DIR/core/src/ops/function.rs:LL:COL
|
LL | pub trait Fn<Args>: FnMut<Args> {
| ------------------------------- similarly named trait `Fn` defined here

error[E0405]: cannot find trait `r#fn` in this scope
--> $DIR/kw-in-trait-bounds.rs:17:4
|
LL | G: fn(),
| ^^ help: a trait with a similar name exists (notice the capitalization): `Fn`
|
::: $SRC_DIR/core/src/ops/function.rs:LL:COL
|
LL | pub trait Fn<Args>: FnMut<Args> {
| ------------------------------- similarly named trait `Fn` defined here

error[E0405]: cannot find trait `r#fn` in this scope
--> $DIR/kw-in-trait-bounds.rs:3:27
|
LL | fn _f<F: fn(), G>(_: impl fn(), _: &dyn fn())
| ^^ help: a trait with a similar name exists (notice the capitalization): `Fn`
|
::: $SRC_DIR/core/src/ops/function.rs:LL:COL
|
LL | pub trait Fn<Args>: FnMut<Args> {
| ------------------------------- similarly named trait `Fn` defined here

error[E0405]: cannot find trait `r#fn` in this scope
--> $DIR/kw-in-trait-bounds.rs:3:41
|
LL | fn _f<F: fn(), G>(_: impl fn(), _: &dyn fn())
| ^^ help: a trait with a similar name exists (notice the capitalization): `Fn`
|
::: $SRC_DIR/core/src/ops/function.rs:LL:COL
|
LL | pub trait Fn<Args>: FnMut<Args> {
| ------------------------------- similarly named trait `Fn` defined here

error[E0405]: cannot find trait `r#struct` in this scope
--> $DIR/kw-in-trait-bounds.rs:24:10
|
LL | fn _g<A: struct, B>(_: impl struct, _: &dyn struct)
| ^^^^^^ help: a trait with a similar name exists (notice the capitalization): `Struct`
...
LL | trait Struct {}
| ------------ similarly named trait `Struct` defined here

error[E0405]: cannot find trait `r#struct` in this scope
--> $DIR/kw-in-trait-bounds.rs:38:8
|
LL | B: struct,
| ^^^^^^ help: a trait with a similar name exists (notice the capitalization): `Struct`
...
LL | trait Struct {}
| ------------ similarly named trait `Struct` defined here

error[E0405]: cannot find trait `r#struct` in this scope
--> $DIR/kw-in-trait-bounds.rs:24:29
|
LL | fn _g<A: struct, B>(_: impl struct, _: &dyn struct)
| ^^^^^^ help: a trait with a similar name exists (notice the capitalization): `Struct`
...
LL | trait Struct {}
| ------------ similarly named trait `Struct` defined here

error[E0405]: cannot find trait `r#struct` in this scope
--> $DIR/kw-in-trait-bounds.rs:24:45
|
LL | fn _g<A: struct, B>(_: impl struct, _: &dyn struct)
| ^^^^^^ help: a trait with a similar name exists (notice the capitalization): `Struct`
...
LL | trait Struct {}
| ------------ similarly named trait `Struct` defined here

error: aborting due to 16 previous errors

For more information about this error, try `rustc --explain E0405`.
3 changes: 2 additions & 1 deletion src/test/ui/rfc-2632-const-trait-impl/without-tilde.rs
Original file line number Diff line number Diff line change
Expand Up @@ -3,4 +3,5 @@
#![feature(const_trait_impl)]

struct S<T: const Tr>;
//~^ ERROR expected one of `!`, `(`, `,`, `=`, `>`, `?`, `for`, `~`, lifetime, or path
//~^ ERROR expected identifier, found keyword `const`
//~| ERROR expected one of `(`, `+`, `,`, `::`, `<`, `=`, or `>`, found `Tr`
12 changes: 9 additions & 3 deletions src/test/ui/rfc-2632-const-trait-impl/without-tilde.stderr
Original file line number Diff line number Diff line change
@@ -1,8 +1,14 @@
error: expected one of `!`, `(`, `,`, `=`, `>`, `?`, `for`, `~`, lifetime, or path, found keyword `const`
error: expected identifier, found keyword `const`
--> $DIR/without-tilde.rs:5:13
|
LL | struct S<T: const Tr>;
| ^^^^^ expected one of 10 possible tokens
| ^^^^^ expected identifier, found keyword

error: aborting due to previous error
error: expected one of `(`, `+`, `,`, `::`, `<`, `=`, or `>`, found `Tr`
--> $DIR/without-tilde.rs:5:19
|
LL | struct S<T: const Tr>;
| ^^ expected one of 7 possible tokens

error: aborting due to 2 previous errors