Rollup of 8 pull requests - #90945

Merged

bors merged 19 commits into

rust-lang:masterfrom

JohnTitor:rollup-wc35xss

Nov 16, 2021

Commits on Nov 11, 2021

normalize argument b in equate_normalized_inputs_output
b-naber
committed
26ca71f

Commits on Nov 12, 2021

add tests
b-naber
committed
7a4aa65

Commits on Nov 13, 2021

Fix handling of substitutions and binders when deciding whether to suggest references
JakobDegen
committed
d58d52a

Commits on Nov 14, 2021

fix getting the discriminant of a zero-variant enum
RalfJung
committed
eebf676

Commits on Nov 15, 2021

Commits on Nov 16, 2021