Code

Shrink process_obligations#108380

Code

Closed

nnethercote wants to merge 3 commits intorust-lang:masterrust-lang/rust:masterfrom

nnethercote:shrink-process_obligationsnnethercote/rust:shrink-process_obligationsCopy head branch name to clipboard

Commits

Commits on Mar 1, 2023

• Split `ty_or_const_infer_var_changed`.

  Show description for b0f665e
  nnethercote

  committed
  b0f665e

  Copy full SHA for b0f665e

• Undo a micro-optimization.

  Show description for cec4c4d
  nnethercote

  committed
  cec4c4d

  Copy full SHA for cec4c4d

• Improve readability of `needs_process_obligation`.

  Show description for 2d8d5b7
  nnethercote

  committed
  2d8d5b7

  Copy full SHA for 2d8d5b7