Code

Rollup of 3 pull requests#118003

Code

Merged

bors merged 14 commits intorust-lang:masterrust-lang/rust:masterfrom matthiaskrgr:rollup-80t3ukymatthiaskrgr/rust:rollup-80t3ukyCopy head branch name to clipboardNov 17, 2023

+784-80

Commits

Commits on Nov 4, 2023

• document ABI compatibility

  RalfJung

  committed
  281d8cc

Commits on Nov 10, 2023

• add 'import functions' to the list of situations where ABI compatibility comes up

  RalfJung

  committed
  044d057

Commits on Nov 11, 2023

• clarify ABI compatibility of fn ptr types and ptr types

  Show description for 52d22ea
  RalfJung

  committed
  52d22ea

Commits on Nov 16, 2023

• Add more SMIR internal impl and callback return value

  Show description for e70839a
  celinval

  committed
  e70839a

• Fix bug on MIRVisitor

  Show description for 3f87dac
  celinval

  committed
  3f87dac

• Add more APIs and fix Instance::body

  Show description for 6515ac9
  celinval

  committed
  6515ac9

• Address PR comments

  celinval

  committed
  08036a8

• Always run builder to evaluate constants

  Show description for 4c00aa3
  celinval

  committed
  4c00aa3

• Fix has_body() and change resolve_drop_in_place() sig

  Show description for 8e81fc0
  celinval

  committed
  8e81fc0

Commits on Nov 17, 2023

• On resolve error of [rest..], suggest [rest @ ..]

  Show description for 5c3e01a
  estebank

  committed
  5c3e01a

• linking in general has more pitfalls than just call ABI

  RalfJung

  committed
  8f03a55

• Rollup merge of rust-lang#115476 - RalfJung:abi-compat-docs, r=Mark-Simulacrum

  Show description for 1cabedc
  matthiaskrgr

  authored
  1cabedc

• Rollup merge of rust-lang#117688 - celinval:smir-kani-reach, r=compiler-errors

  Show description for c188486
  matthiaskrgr

  authored
  c188486

• Rollup merge of rust-lang#117998 - estebank:issue-88404, r=TaKO8Ki

  Show description for 488c2aa
  matthiaskrgr

  authored
  488c2aa