Code

Consider polarity in new solver#110671

Code

Merged

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

compiler-errors:polaritycompiler-errors/rust:polarityCopy head branch name to clipboard

Apr 25, 2023

Commits

Commits on Apr 24, 2023

• Consider polarity in new solver

  compiler-errors

  committed
  794cb89

  Copy full SHA for 794cb89

Commits on Apr 25, 2023

• Negative coherence test

  compiler-errors

  committed
  bb2cb89

  Copy full SHA for bb2cb89