Skip to content

Remove weird edge case for "Type::inner_def_id"#90726

Closed
GuillaumeGomez wants to merge 1 commit into
rust-lang:masterfrom
GuillaumeGomez:def-id-remove-weird-case
Closed

Remove weird edge case for "Type::inner_def_id"#90726
GuillaumeGomez wants to merge 1 commit into
rust-lang:masterfrom
GuillaumeGomez:def-id-remove-weird-case

Remove weird edge case for "Type::inner_def_id"

e1559ed
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs