Code

Rollup of 4 pull requests#116902

Code

Closed

matthiaskrgr wants to merge 8 commits intorust-lang:masterrust-lang/rust:masterfrom matthiaskrgr:rollup-8binpfxmatthiaskrgr/rust:rollup-8binpfxCopy head branch name to clipboard

Commits

Commits on Oct 18, 2023

• Avoid having rustc_smir depend on rustc_interface or rustc_driver

  oli-obk

  committed
  e8857d0

  Copy full SHA for e8857d0

• Change my name in mailmap

  blyxyas

  committed
  54eef16

  Copy full SHA for 54eef16

• Only check in a single place if a pass is enabled.

  cjgillot

  committed
  c1c5a1d

  Copy full SHA for c1c5a1d

• Bump COINDUCTIVE_OVERLAP_IN_COHERENCE

  compiler-errors

  committed
  973d589

  Copy full SHA for 973d589

• Rollup merge of rust-lang#116493 - compiler-errors:coinductive-cycle-lint, r=lcnr

  Show description for 955e596
  matthiaskrgr

  authored
  955e596

  Copy full SHA for 955e596

• Rollup merge of rust-lang#116837 - oli-obk:smir_run_macro, r=spastorino

  Show description for db51824
  matthiaskrgr

  authored
  db51824

  Copy full SHA for db51824

• Rollup merge of rust-lang#116883 - blyxyas:fix-mailmap, r=Nilstrieb

  Show description for 8924fdd
  matthiaskrgr

  authored
  8924fdd

  Copy full SHA for 8924fdd

• Rollup merge of rust-lang#116896 - cjgillot:single-inline, r=oli-obk

  Show description for 64e0e6b
  matthiaskrgr

  authored
  64e0e6b

  Copy full SHA for 64e0e6b