Rollup of 4 pull requests#90899

Closed

matthiaskrgr wants to merge 10 commits intorust-lang:masterfrom

matthiaskrgr:rollup-b1p25q0

Commits on Nov 13, 2021

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

Commits on Nov 14, 2021