Code

Make pointer field of Pin private#119615

Code

Closed

joboet wants to merge 5 commits intorust-lang:masterrust-lang/rust:masterfrom joboet:pin_hygienejoboet/rust:pin_hygieneCopy head branch name to clipboard

Commits

Commits on Jan 5, 2024

• core: make pointer field of Pin private

  Show description for 08b80e9
  joboet

  committed
  08b80e9

  Copy full SHA for 08b80e9

• add regression test to adress the issue outlined in rust-lang#119562

  joboet

  committed
  a7ec2a5

  Copy full SHA for a7ec2a5

• remove unsafe_pin_internals feature

  joboet

  committed
  712fd82

  Copy full SHA for 712fd82

• core: readd type annotation inside pin macro to avoid unsoundness

  joboet

  committed
  35be1ff

  Copy full SHA for 35be1ff

• Fix example in comments

  Show description for 4e7b0ea
  

  joboet

  and

  danielhenrymantilla

  authored
  4e7b0ea

  Copy full SHA for 4e7b0ea