Code

A couple simple borrowck cleanups#135250

Code

Merged

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

lqd:simple-cleanupslqd/rust:simple-cleanupsCopy head branch name to clipboard

Jan 9, 2025

Commits

Commits on Jan 8, 2025

• stop calling `DenseLocationMap` "elements"

  Show description for 6f1c417
  lqd

  committed
  6f1c417

  Copy full SHA for 6f1c417

• rename `LocationTable` to `PoloniusLocationTable`

  Show description for 3a1a621
  lqd

  committed
  3a1a621

  Copy full SHA for 3a1a621

• rename `AllFacts` to `PoloniusFacts`

  Show description for 36ea00c
  lqd

  committed
  36ea00c

  Copy full SHA for 36ea00c