Code

Rework GAT where clause check#93820

Code

Merged

bors merged 8 commits intorust-lang:masterrust-lang/rust:masterfrom compiler-errors:gat-wfcheckcompiler-errors/rust:gat-wfcheckCopy head branch name to clipboardFeb 15, 2022

+306-196

Commits

Commits on Feb 15, 2022

• introduce gather_gat_bounds

  compiler-errors

  committed
  5b2291c

  Copy full SHA for 5b2291c

• rename some variables in gat wfcheck

  compiler-errors

  committed
  7648393

  Copy full SHA for 7648393

• check all GATs at once

  compiler-errors

  committed
  453d2db

  Copy full SHA for 453d2db

• check associated types too

  compiler-errors

  committed
  852a851

  Copy full SHA for 852a851

• make the gat wfcheck algorithm a loop

  compiler-errors

  committed
  4774597

  Copy full SHA for 4774597

• add test for issue-93278, bless

  compiler-errors

  committed
  d8b49f0

  Copy full SHA for d8b49f0

• add some more comments to GAT where clause check

  compiler-errors

  committed
  ce16189

  Copy full SHA for ce16189

• Add removed comments back in self-outlives-lint

  compiler-errors

  committed
  f045b21

  Copy full SHA for f045b21