GitHub · Where software is built

8000 GitHub · Where software is built

Labels Milestones New issue

On the legality of introducing spurious loads of <code>&UnsafeCell</code> (aka: dereferenceable and noalias don't interact well)

A-dereferenceable

#435

· RalfJung opened

on Jul 31, 2023

Can we have VolatileCell

A-dereferenceable

#411

· chorman0773 opened

on Jun 6, 2023

Self-referential generators vs <code>dereferenceable</code>

A-dereferenceable

#381

· RalfJung opened

on Dec 3, 2022

Stacked Borrows: do we even want protectors?

A-aliasing-model

A-dereferenceable

C-open-question

#372

· RalfJung opened

on Oct 29, 2022

SB: Allowing function argument references to dangle under some circumstances

A-aliasing-model

A-dereferenceable

#252

· Diggsey opened

on Oct 14, 2020

0