Code

Lazy TAIT preparation cleanups#89024

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

oli-obk:lazy_tait_is_not_limited_to_being_used_in_return_positionoli-obk/rust:lazy_tait_is_not_limited_to_being_used_in_return_positionCopy head branch name to clipboard

Sep 23, 2021

Commits

Commits on Sep 23, 2021

• Check that TAIT generics are fully generic in mir typeck instead of wf-check, as wf-check can by definition only check TAIT in return position and not account for TAITs defined in the body of the f…

  Show description for 6067ead
  oli-obk

  committed
  6067ead

  Copy full SHA for 6067ead