Code

Remove the box_pointers lint.#126018

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

nnethercote:rm-box_pointers-lintnnethercote/rust:rm-box_pointers-lintCopy head branch name to clipboard

Jun 30, 2024

Commits

Commits on Jun 26, 2024

• Remove the `box_pointers` lint.

  Show description for c053e89
  nnethercote

  committed
  c053e89

  Copy full SHA for c053e89