Skip to content

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

Closed
GuillaumeGomez wants to merge 1 commit intorust-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 intorust-lang:masterfrom
GuillaumeGomez:def-id-remove-weird-case

Commits

Commits on Nov 9, 2021