Code

Rollup of 4 pull requests#95065

Code

Merged

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

matthiaskrgr:rollup-75i6oz5matthiaskrgr/rust:rollup-75i6oz5Copy head branch name to clipboard

Mar 18, 2022

Commits

Commits on Mar 16, 2022

• Add double negative trait test case

  spastorino

  committed
  c3797dc

  Copy full SHA for c3797dc

• Update browser-ui-test version to 0.8.3

  GuillaumeGomez

  committed
  972ee87

  Copy full SHA for 972ee87

• Run GUI test when browser-ui-test version is updated

  GuillaumeGomez

  committed
  45a3075

  Copy full SHA for 45a3075

Commits on Mar 17, 2022

• Add comments on Polarity

  spastorino

  committed
  7834648

  Copy full SHA for 7834648

• Make negative coherence work when there's impl negative on super predicates

  spastorino

  committed
  64dfd3b

  Copy full SHA for 64dfd3b

• Extract obligation resolution to function

  spastorino

  committed
  61a05ef

  Copy full SHA for 61a05ef

• This test now works

  spastorino

  committed
  91846fe

  Copy full SHA for 91846fe

• Add more commments

  spastorino

  committed
  9c076f3

  Copy full SHA for 9c076f3

• refactor: remove an unnecessary pattern for ignoring all parts

  TaKO8Ki

  committed
  30fbcdb

  Copy full SHA for 30fbcdb

• Use let else here

  spastorino

  committed
  ba8b4a4

  Copy full SHA for ba8b4a4

• update Miri

  RalfJung

  committed
  9e18721

  Copy full SHA for 9e18721

• Update compiler/rustc_trait_selection/src/traits/coherence.rs

  nikomatsakis

  authored
  89a00cc

  Copy full SHA for 89a00cc

Commits on Mar 18, 2022

• Rollup merge of #95013 - GuillaumeGomez:browser-ui-test-v, r=notriddle

  Show description for 0e1b897
  matthiaskrgr

  authored
  0e1b897

  Copy full SHA for 0e1b897

• Rollup merge of #95039 - spastorino:overlap-super-predicates, r=nikomatsakis

  Show description for 588d389
  matthiaskrgr

  authored
  588d389

  Copy full SHA for 588d389

• Rollup merge of #95047 - TaKO8Ki:remove-unnecessary-pattern-for-ignoring-all-parts, r=wesleywiser

  Show description for 7ec0c2f
  matthiaskrgr

  authored
  7ec0c2f

  Copy full SHA for 7ec0c2f

• Rollup merge of #95048 - RalfJung:miri, r=RalfJung

  Show description for d3dc65b
  matthiaskrgr

  authored
  d3dc65b

  Copy full SHA for d3dc65b