Repository navigation

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

Merged

bors merged 4 commits into

rust-lang:masterfrom

Jan 17, 2024

Merged

fix fn/const items implied bounds and wf check (rebase)#120019
bors merged 4 commits into
rust-lang:masterfrom
lcnr:fn-wf

Commits on Jan 16, 2024
- borrowck: wf-check fn item args
  
  aliemjay
  authored and
  lcnr
  committed
  a3fe3bb
- borrowck: use implied bounds from impl header
  
  aliemjay
  authored and
  lcnr
  committed
  8d4693c
- wf-check type annotations before normalization
  
  aliemjay
  authored and
  lcnr
  committed
  aac2f84
- try fast path for wf type ops
  
  aliemjay
  authored and
  lcnr
  committed
  66090ef