Rename SharedContext::emit_dyn_lint* into emit_lint*#155936
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Apr 28, 2026
Merged
Rename SharedContext::emit_dyn_lint* into emit_lint*#155936rust-bors[bot] merged 1 commit intorust-lang:mainfrom
SharedContext::emit_dyn_lint* into emit_lint*#155936rust-bors[bot] merged 1 commit intorust-lang:mainfrom