Rollup of 13 pull requests#123966

Closed

jieyouxu wants to merge 36 commits intorust-lang:masterfrom

jieyouxu:rollup-1vccsqs

Commits on Apr 12, 2024

Avoid an intermediate Option and just create the resulting enum directly
oli-obk
committed
Remove a HACK by instead inferring opaque types during expected/formal type checking
oli-obk
committed

Commits on Apr 13, 2024

Commits on Apr 14, 2024

Commits on Apr 15, 2024