about summary refs log tree commit diff
path: root/compiler/rustc_interface/src/errors.rs
diff options
context:
space:
mode:
authorNicholas Nethercote <n.nethercote@gmail.com>2025-04-09 14:16:22 +1000
committerNicholas Nethercote <n.nethercote@gmail.com>2025-04-09 15:01:14 +1000
commit7ae5c7f32dfc85c0e57949dee1c54bd1c6586e37 (patch)
treebe39a06fa4a5beb8c9a5a6d17b00a643305b91bc /compiler/rustc_interface/src/errors.rs
parentf419b18d16be992b5db21e0008aa7be16f92803f (diff)
downloadrust-7ae5c7f32dfc85c0e57949dee1c54bd1c6586e37.tar.gz
rust-7ae5c7f32dfc85c0e57949dee1c54bd1c6586e37.zip
Avoid an empty trait name in impl blocks.
`resolve_ident_in_lexical_scope` checks for an empty name. Why is this
necessary? Because `parse_item_impl` can produce an `impl` block with an
empty trait name in some cases. This is pretty gross and very
non-obvious.

This commit avoids the use of the empty trait name. In one case the
trait name is instead pulled from `TyKind::ImplTrait`, which prevents
the output for `tests/ui/impl-trait/extra-impl-in-trait-impl.rs` from
changing. In the other case we just fail the parse and don't try to
recover. I think losing error recovery in this obscure case is worth
the code cleanup.

This change affects `tests/ui/parser/impl-parsing.rs`, which is split in
two, and the obsolete `..` syntax cases are removed (they are tested
elsewhere).
Diffstat (limited to 'compiler/rustc_interface/src/errors.rs')
0 files changed, 0 insertions, 0 deletions