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 clipboardNov 19, 2024

+171-226

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