Skip to content

Ignore references in "Type::inner_def_id"#90946

Merged
bors merged 3 commits intorust-lang:masterfrom
GuillaumeGomez:def-id-remove-weird-case
Aug 31, 2022
Merged

Ignore `reference`s in "Type::inner_def_id"#90946
bors merged 3 commits intorust-lang:masterfrom
GuillaumeGomez:def-id-remove-weird-case

Commits