diff options
author | Arthur Cohen <arthur.cohen@embecosm.com> | 2023-02-16 13:53:22 +0100 |
---|---|---|
committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2024-01-16 18:13:34 +0100 |
commit | 60b6cc1676eb3a4118dc3302f20fbfe573054d51 (patch) | |
tree | a71fd0bb5e1e59bbe047ce505ad7b29d0aaf1e90 /gcc/tree-data-ref.cc | |
parent | a5258f3a11ab577835ef5e93be5cb65ec9e44132 (diff) | |
download | gcc-60b6cc1676eb3a4118dc3302f20fbfe573054d51.zip gcc-60b6cc1676eb3a4118dc3302f20fbfe573054d51.tar.gz gcc-60b6cc1676eb3a4118dc3302f20fbfe573054d51.tar.bz2 |
gccrs: parser: Allow parsing of qualified type path as nested generic argument
Let's take the example of lexing `Option<<T as Iterator>::Item>` and look
at the first few tokens. Originally, `Option<<T` was lexed as 3 tokens:
* IDENTIFIER(Option)
* LEFT_SHIFT
* IDENTIFIER(T)
The parser did not allow a list of generic arguments to start with a left
shift, and rejected the above type. We are now splitting the left shift
into two left angles, as this allows complex generic arguments and overall
makes sense parsing wise. Thus, the above list becomes:
* IDENTIFIER(Option)
* LEFT_ANGLE
* LEFT_ANGLE
* IDENTIFIER(T)
and `<T as Iterator>` is properly parsed as a qualified path.
Fixes #1815
Fixed #1809
Addresses #1524
gcc/rust/ChangeLog:
* parse/rust-parse-impl.h (Parser::parse_path_generic_args): Split leading
`LEFT_SHIFT` token into two `LEFT_ANGLE` tokens when parsing generic arguments.
(Parser::parse_type_path_segment): Allow `LEFT_ANGLE` as starting token for
parsing generic arguments.
gcc/testsuite/ChangeLog:
* rust/compile/parse_associated_type_as_generic_arg.rs: New test.
* rust/compile/parse_associated_type_as_generic_arg2.rs: New test.
* rust/compile/path_as_generic_arg.rs: New test.
* rust/compile/nested_generic.rs: New test.
Diffstat (limited to 'gcc/tree-data-ref.cc')
0 files changed, 0 insertions, 0 deletions