Skip to content

rename def_id -> static_def_id

b5343d6
Select commit
Loading
Failed to load commit list.
Merged

Miri nits: comment and var name improvement #70385

rename def_id -> static_def_id
b5343d6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs