Code

ReLateBound -> ReBound#117876

Code

Merged

bors merged 5 commits intorust-lang:masterrust-lang/rust:masterfrom lcnr:region-kind-renamelcnr/rust:region-kind-renameCopy head branch name to clipboardNov 13, 2023

+266-266

Commits

Commits on Nov 13, 2023

• add fixme to RegionCtxt

  lcnr

  committed
  8588350

  Copy full SHA for 8588350

• remove unnecessary _ in variable name

  lcnr

  committed
  28328c8

  Copy full SHA for 28328c8

• rename ReLateBound to ReBound

  Show description for 86fa131
  lcnr

  committed
  86fa131

  Copy full SHA for 86fa131

• continue renaming

  Show description for dd0739a
  lcnr

  committed
  dd0739a

  Copy full SHA for dd0739a

• update type flags

  Show description for 8935a1b
  lcnr

  committed
  8935a1b

  Copy full SHA for 8935a1b