Uplift TypeAndMut
and ClosureKind
to rustc_type_ir
#118888
Merged
bors merged 3 commits intorust-lang:masterfrom Dec 15, 2023
Commits
Commits on Dec 12, 2023
- committed
- committed
TypeAndMut
and ClosureKind
to rustc_type_ir
#118888