fix fn/const items implied bounds and wf check (rebase)#120019

Merged

bors merged 4 commits intorust-lang:masterfrom

Jan 17, 2024

Commits on Jan 16, 2024

borrowck: wf-check fn item args

aliemjay
authored and
lcnr
committed
borrowck: use implied bounds from impl header

aliemjay
authored and
lcnr
committed
wf-check type annotations before normalization

aliemjay
authored and
lcnr
committed
try fast path for wf type ops

aliemjay
authored and
lcnr
committed