Code

stricter hidden type wf-check#115008

Code

Merged

bors merged 5 commits intorust-lang:masterrust-lang/rust:masterfrom

aliemjay:opaque-wf-check-2aliemjay/rust:opaque-wf-check-2Copy head branch name to clipboard

Mar 6, 2024

Commits

Commits on Feb 27, 2024

• wf-check RPITs

  lcnr

  committed
  93bc7a4

  Copy full SHA for 93bc7a4

• when defining opaques, require the hidden type to be well-formed

  lcnr

  committed
  71d82c2

  Copy full SHA for 71d82c2

• use typeck root when checking closure oblig

  lcnr

  committed
  6591c80

  Copy full SHA for 6591c80

• yeet now unnecessary special-case

  lcnr

  committed
  300cffa

  Copy full SHA for 300cffa

• update comments

  lcnr

  committed
  af0d508

  Copy full SHA for af0d508