Rollup of 7 pull requests#110271

Closed

matthiaskrgr wants to merge 19 commits intorust-lang:masterfrom

matthiaskrgr:rollup-rc0zpf2

Commits on Apr 10, 2023

Stabilize IsTerminal
joshtriplett
committed

Commits on Apr 11, 2023

Erase lifetimes above ty::INNERMOST when probing ambiguous types
compiler-errors
committed

Commits on Apr 13, 2023