pre #89862 cleanup - #93990

Merged

bors merged 2 commits into

rust-lang:masterfrom

lcnr:pre-89862-cleanup

Feb 19, 2022

Commits on Feb 16, 2022

extract Res to `generics_of` def_id conversion
lcnr
committed
11ec2a4
allow special behavior when printing const infer
lcnr
committed
1b7c3bc