Code

Rollup of 8 pull requests#95658

Code

Closed

Dylan-DPC wants to merge 26 commits intorust-lang:masterrust-lang/rust:masterfrom

Dylan-DPC:rollup-d9zj7q8Dylan-DPC/rust:rollup-d9zj7q8Copy head branch name to clipboard

Commits

Commits on Apr 2, 2022

• Fix late-bound ICE in unsized return suggestion

  compiler-errors

  committed
  b899251

  Copy full SHA for b899251

• Handle reporting invariance of fn pointer

  compiler-errors

  committed
  92d3bd9

  Copy full SHA for 92d3bd9

• Format invariance notes with backticks

  compiler-errors

  committed
  2c4f845

  Copy full SHA for 2c4f845

Commits on Apr 3, 2022

• interpret: remove MemoryExtra in favor of giving access to the Machine

  RalfJung

  committed
  f0ec783

  Copy full SHA for f0ec783

• tweak some function names

  RalfJung

  committed
  84a343d

  Copy full SHA for 84a343d

Commits on Apr 4, 2022

• remove unnecessary nested blocks

  TaKO8Ki

  committed
  e0919de

  Copy full SHA for e0919de

• format cond

  TaKO8Ki

  committed
  a56f214

  Copy full SHA for a56f214

• Add doc links referencing raw pointer methods

  declanvk

  committed
  637592d

  Copy full SHA for 637592d

• CandidateSource::XCandidate -> CandidateSource::X

  lcnr

  committed
  58dfe26

  Copy full SHA for 58dfe26

• Mention implementers of unsatisfied trait

  Show description for 3aac307
  estebank

  committed
  3aac307

  Copy full SHA for 3aac307

• Fix #90970, doesn't address #87437

  estebank

  committed
  ac8cbbd

  Copy full SHA for ac8cbbd

• Suggest dereferncing when possible in E0277, fix #87437

  estebank

  committed
  883b93c

  Copy full SHA for 883b93c

• Fix list length

  estebank

  committed
  e2bba07

  Copy full SHA for e2bba07

• Dedup logic and improve output for other types that impl trait

  estebank

  committed
  ef91519

  Copy full SHA for ef91519

• Refer to the TraitRef::identity in the message to be clearer

  estebank

  committed
  3109c93

  Copy full SHA for 3109c93

• Highlight `is` in the message for emphasis

  estebank

  committed
  a6301ca

  Copy full SHA for a6301ca

• Remove hack, fix fmt and tests

  estebank

  committed
  e1ef833

  Copy full SHA for e1ef833

• explicitly distinguish pointer::addr and pointer::expose_addr

  RalfJung

  committed
  0252fc9

  Copy full SHA for 0252fc9

• Rollup merge of #91873 - estebank:mention-impls-for-unsatisfied-trait, r=davidtwco

  Show description for 6137798
  Dylan-DPC

  authored
  6137798

  Copy full SHA for 6137798

• Rollup merge of #95588 - RalfJung:strict-provenance, r=scottmcm

  Show description for 40cfc4e
  Dylan-DPC

  authored
  40cfc4e

  Copy full SHA for 40cfc4e

• Rollup merge of #95603 - compiler-errors:dyn-return, r=oli-obk

  Show description for 38545c1
  Dylan-DPC

  authored
  38545c1

  Copy full SHA for 38545c1

• Rollup merge of #95607 - compiler-errors:issue-95272, r=Aaron1011

  Show description for b3dd3b7
  Dylan-DPC

  authored
  b3dd3b7

  Copy full SHA for b3dd3b7

• Rollup merge of #95620 - RalfJung:memory-no-extras, r=oli-obk

  Show description for db44e8d
  Dylan-DPC

  authored
  db44e8d

  Copy full SHA for db44e8d

• Rollup merge of #95630 - declanvk:update-nonnull-doc, r=RalfJung

  Show description for b70f0f6
  Dylan-DPC

  authored
  b70f0f6

  Copy full SHA for b70f0f6

• Rollup merge of #95631 - TaKO8Ki:remove-unnecessary-nested-blocks, r=davidtwco

  Show description for 2f15a0f
  Dylan-DPC

  authored
  2f15a0f

  Copy full SHA for 2f15a0f

• Rollup merge of #95642 - lcnr:probe-smol, r=compiler-errors

  Show description for 7b7a622
  Dylan-DPC

  authored
  7b7a622

  Copy full SHA for 7b7a622