Code

Rollup of 8 pull requests#121469

Code

Merged

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

matthiaskrgr:rollup-oaoxuo2matthiaskrgr/rust:rollup-oaoxuo2Copy head branch name to clipboard

Feb 22, 2024

Commits

Commits on Feb 3, 2024

• No need to validate_alias_bound_self_from_param_env in assemble_alias_bound_candidates

  compiler-errors

  committed
  6dea155

  Copy full SHA for 6dea155

Commits on Feb 21, 2024

• Add more tests

  oli-obk

  committed
  31478cd

  Copy full SHA for 31478cd

• test that we do not support higher-ranked regions in opaque type inference

  

  aliemjay

  authored and

  oli-obk

  committed
  66bd645

  Copy full SHA for 66bd645

• Fix typo in serialized.rs

  Show description for 00234f0
  

  Ikko Eltociear Ashimine

  authored
  00234f0

  Copy full SHA for 00234f0

• Tiny simplification

  Nadrieril

  committed
  5c9d580

  Copy full SHA for 5c9d580

• Introduce `TestCase` enum to replace most matching on `PatKind`

  Nadrieril

  committed
  a181bdc

  Copy full SHA for a181bdc

• Process bindings and ascriptions in `MatchPair::new()`

  Nadrieril

  committed
  b1a0607

  Copy full SHA for b1a0607

• Inline `simplify_match_pair`

  Nadrieril

  committed
  0610f59

  Copy full SHA for 0610f59

Commits on Feb 22, 2024

• Fix panic when compiling `Rocket`.

  Show description for 326b44e
  nnethercote

  committed
  326b44e

  Copy full SHA for 326b44e

• Make some `IntoDiagnostic` impls generic.

  Show description for 02423a5
  nnethercote

  committed
  02423a5

  Copy full SHA for 02423a5

• Fix typo in metadata.rs doc comment

  jrudolph

  authored
  c276af2

  Copy full SHA for c276af2

• `DefId` to `LocalDefId`

  lcnr

  committed
  7921ce3

  Copy full SHA for 7921ce3

• Avoid emitting type mismatches against `{type error}`

  oli-obk

  committed
  9e016a8

  Copy full SHA for 9e016a8

• Add new maintainers to nto-qnx.md

  Show description for a2a6e47
  jonathanpallant

  authored
  a2a6e47

  Copy full SHA for a2a6e47

• Preserve the `Span` from `prove_predicate` all the way to registering opaque types

  oli-obk

  committed
  e3021eb

  Copy full SHA for e3021eb

• `report_mismatch` did not actually report anymore

  oli-obk

  committed
  e4622e0

  Copy full SHA for e4622e0

• Remove some annotations that just specify the default

  oli-obk

  committed
  1efb747

  Copy full SHA for 1efb747

• Rollup merge of #120598 - compiler-errors:no-rigid-check, r=lcnr

  Show description for 702225e
  matthiaskrgr

  authored
  702225e

  Copy full SHA for 702225e

• Rollup merge of #121386 - oli-obk:no_higher_ranked_opaques, r=lcnr

  Show description for 379ef9b
  matthiaskrgr

  authored
  379ef9b

  Copy full SHA for 379ef9b

• Rollup merge of #121393 - Nadrieril:match-lowering-testcase, r=matthewjasper

  Show description for 5a87e13
  matthiaskrgr

  authored
  5a87e13

  Copy full SHA for 5a87e13

• Rollup merge of #121401 - eltociear:patch-25, r=nnethercote

  Show description for 47bf8a6
  matthiaskrgr

  authored
  47bf8a6

  Copy full SHA for 47bf8a6

• Rollup merge of #121427 - nnethercote:fix-Rocket, r=oli-obk

  Show description for 01ec4eb
  matthiaskrgr

  authored
  01ec4eb

  Copy full SHA for 01ec4eb

• Rollup merge of #121439 - jrudolph:patch-1, r=bjorn3

  Show description for e064bf6
  matthiaskrgr

  authored
  e064bf6

  Copy full SHA for e064bf6

• Rollup merge of #121441 - lcnr:typesystem-cleanup, r=compiler-errors

  Show description for 5401098
  matthiaskrgr

  authored
  5401098

  Copy full SHA for 5401098

• Rollup merge of #121452 - jonathanpallant:patch-1, r=Amanieu

  Show description for 4537e6d
  matthiaskrgr

  authored
  4537e6d

  Copy full SHA for 4537e6d