Introduce ModernIdent type to unify macro 2.0 hygiene handling #144439

xizheyin · 2025-07-25T09:15:03Z

This pr introduce ModernIdent type to unify macro 2.0 hygiene handling

Added ModernIdent type. Wraps Ident and automatically calls normalize_to_macros_2_0()
Unified identifier normalization. Replaced scattered ident.normalize_to_macros_2_0() calls with ModernIdent::new(ident)

r? @petrochenkov

rustbot · 2025-07-25T09:15:09Z

HIR ty lowering was modified

cc @fmease

fee1-dead · 2025-07-25T16:29:23Z

What problem is this intended to solve? ModernIdent seems like a quite confusing name.

compiler/rustc_span/src/symbol.rs

compiler/rustc_hir_analysis/src/coherence/inherent_impls_overlap.rs

compiler/rustc_span/src/symbol.rs

compiler/rustc_resolve/src/macros.rs

compiler/rustc_resolve/src/lib.rs

compiler/rustc_resolve/src/build_reduced_graph.rs

compiler/rustc_resolve/src/late.rs

compiler/rustc_span/src/symbol.rs

petrochenkov · 2025-07-25T17:01:09Z

In general, I have mixed feelings about both this and MacroRulesNormalizedIdent.
It clearly can potentially catch some mistakes or inefficiencies (like it did in fn define_macro, I think), on the other hand it can only be used opportunistically because most places either do not care about the normalization, or care but the normalization should be different in different cases (like in rib.bindings, I guess).

xizheyin

In this version, I removed some unnecessary uses.
The modifications are mainly centered around two fields.

BindingKey::ident
Resolver::extern_prelude

compiler/rustc_span/src/symbol.rs

compiler/rustc_resolve/src/check_unused.rs

compiler/rustc_resolve/src/diagnostics.rs

compiler/rustc_resolve/src/lib.rs

xizheyin · 2025-08-04T03:14:00Z

I rebased it @rustbot ready

compiler/rustc_span/src/symbol.rs

compiler/rustc_resolve/src/build_reduced_graph.rs

compiler/rustc_resolve/src/lib.rs

Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn>

xizheyin

It's getting clearer.

@rustbot ready

compiler/rustc_resolve/src/build_reduced_graph.rs

compiler/rustc_resolve/src/imports.rs

compiler/rustc_span/src/symbol.rs

petrochenkov · 2025-08-06T13:29:38Z

@bors r+

bors · 2025-08-06T13:29:41Z

📌 Commit 6e7b9d5 has been approved by petrochenkov

It is now in the queue for this repository.

Introduce ModernIdent type to unify macro 2.0 hygiene handling This pr introduce ModernIdent type to unify macro 2.0 hygiene handling 1. Added ModernIdent type. Wraps Ident and automatically calls `normalize_to_macros_2_0()` 2. Unified identifier normalization. Replaced scattered ident.normalize_to_macros_2_0() calls with ModernIdent::new(ident) r? `@petrochenkov`

Introduce ModernIdent type to unify macro 2.0 hygiene handling This pr introduce ModernIdent type to unify macro 2.0 hygiene handling 1. Added ModernIdent type. Wraps Ident and automatically calls `normalize_to_macros_2_0()` 2. Unified identifier normalization. Replaced scattered ident.normalize_to_macros_2_0() calls with ModernIdent::new(ident) r? ``@petrochenkov``

rustbot assigned petrochenkov Jul 25, 2025

rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 25, 2025

rustbot added the T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. label Jul 25, 2025

petrochenkov reviewed Jul 25, 2025

View reviewed changes

petrochenkov added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jul 25, 2025

xizheyin commented Jul 25, 2025

View reviewed changes

compiler/rustc_span/src/symbol.rs Outdated Show resolved Hide resolved

xizheyin force-pushed the symbol-rs branch from bc34960 to 868ecfb Compare July 27, 2025 08:32

xizheyin commented Jul 27, 2025

View reviewed changes

This comment was marked as resolved.

Sign in to view

xizheyin force-pushed the symbol-rs branch from 868ecfb to d2ad9c8 Compare July 28, 2025 02:41

This comment was marked as resolved.

Sign in to view

xizheyin force-pushed the symbol-rs branch from d2ad9c8 to 00a5785 Compare August 4, 2025 03:13

rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Aug 4, 2025

petrochenkov reviewed Aug 5, 2025

View reviewed changes

compiler/rustc_span/src/symbol.rs Show resolved Hide resolved

petrochenkov reviewed Aug 5, 2025

View reviewed changes

compiler/rustc_resolve/src/build_reduced_graph.rs Outdated Show resolved Hide resolved

compiler/rustc_resolve/src/lib.rs Outdated Show resolved Hide resolved

petrochenkov added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Aug 5, 2025

Introduce ModernIdent type to unify macro 2.0 hygiene handling

6e7b9d5

Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn>

xizheyin force-pushed the symbol-rs branch from 00a5785 to 6e7b9d5 Compare August 6, 2025 13:20

xizheyin commented Aug 6, 2025

View reviewed changes

compiler/rustc_resolve/src/build_reduced_graph.rs Show resolved Hide resolved

compiler/rustc_resolve/src/imports.rs Show resolved Hide resolved

compiler/rustc_resolve/src/imports.rs Show resolved Hide resolved

compiler/rustc_span/src/symbol.rs Show resolved Hide resolved

rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Aug 6, 2025

bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Aug 6, 2025

Zalathar mentioned this pull request Aug 7, 2025

Rollup of 21 pull requests #145034

Open

Introduce ModernIdent type to unify macro 2.0 hygiene handling #144439

Are you sure you want to change the base?

Introduce ModernIdent type to unify macro 2.0 hygiene handling #144439

Conversation

xizheyin commented Jul 25, 2025

Uh oh!

rustbot commented Jul 25, 2025

Uh oh!

fee1-dead commented Jul 25, 2025

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

petrochenkov commented Jul 25, 2025

Uh oh!

xizheyin left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

This comment was marked as resolved.

This comment was marked as resolved.

xizheyin commented Aug 4, 2025

Uh oh!

Uh oh!

Uh oh!

Uh oh!

xizheyin left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

petrochenkov commented Aug 6, 2025

Uh oh!

bors commented Aug 6, 2025

Uh oh!

Uh oh!