Code

rustc_borrowck cleanups, part 2#132623

Code

Merged

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

nnethercote:rustc_borrowck-cleanups-2nnethercote/rust:rustc_borrowck-cleanups-2Copy head branch name to clipboard

Nov 19, 2024

Commits

Commits on Nov 19, 2024

• Don't pass `universal_regions` unnecessarily.

  Show description for 4c8a23a
  nnethercote

  committed
  4c8a23a

  Copy full SHA for 4c8a23a

• Make `TypeChecker::known_type_outlives_obligations` owned.

  Show description for 227ecc8
  nnethercote

  committed
  227ecc8

  Copy full SHA for 227ecc8

• Make `TypeChecker::region_bound_pairs` owned.

  Show description for ed11fbe
  nnethercote

  committed
  ed11fbe

  Copy full SHA for ed11fbe

• Clean up `UniversalRegions`.

  Show description for 952c6d5
  nnethercote

  committed
  952c6d5

  Copy full SHA for 952c6d5

• Compute `upvars` lazily.

  Show description for 2709dc8
  nnethercote

  committed
  2709dc8

  Copy full SHA for 2709dc8

• Inline and remove `TypeVerifier::new`.

  Show description for fe3c49f
  nnethercote

  committed
  fe3c49f

  Copy full SHA for fe3c49f

• Don't refcount `PlaceholderIndices`.

  Show description for 801b150
  nnethercote

  committed
  801b150

  Copy full SHA for 801b150

• Pass `constraints` to `RegionInferenceContext::new`.

  Show description for c9283f8
  nnethercote

  committed
  c9283f8

  Copy full SHA for c9283f8

• Put `param_env` into `infcx`.

  Show description for af50fe4
  nnethercote

  committed
  af50fe4

  Copy full SHA for af50fe4

• Pass `flow_inits` by value.

  Show description for 75108b6
  nnethercote

  committed
  75108b6

  Copy full SHA for 75108b6