Rollup of 8 pull requests#90945

Merged

bors merged 19 commits intorust-lang:masterfrom

JohnTitor:rollup-wc35xss

Nov 16, 2021

Commits on Nov 11, 2021

normalize argument b in equate_normalized_inputs_output
b-naber
committed

Commits on Nov 12, 2021

add tests
b-naber
committed

Commits on Nov 13, 2021

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

Commits on Nov 14, 2021

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

Commits on Nov 16, 2021