Search results

Are raw pointers fully equivalent to the place they are created from?

A-aliasing-modelTopic: Related to the aliasing model (e.g. Stacked/Tree Borrows)Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)

A-SB-vs-TBTopic: Design questions where SB and TB are opposite sides of the design axisTopic: Design questions where SB and TB are opposite sides of the design axis

Status: Open.

#591 In rust-lang/unsafe-code-guidelines;

·RalfJung openedon Nov 24, 2025

"Dropping" mutable references to make their memory usable from outside again

Status: Open.

#590 In rust-lang/unsafe-code-guidelines;

·ais523 openedon Nov 21, 2025

Semantics of function pointers with equal addresses?

Status: Open.

#589 In rust-lang/unsafe-code-guidelines;

·theemathas openedon Nov 11, 2025

Validity of Non-matched Patterns

Status: Open.

#587 In rust-lang/unsafe-code-guidelines;

·chorman0773 openedon Oct 28, 2025

What assumptions can safe-interface functions make about <code>&amp;Cell</code>s of different types aliasing?

Status: Open.

#586 In rust-lang/unsafe-code-guidelines;

·ais523 openedon Oct 17, 2025

How does the aliasing model interact with the concurrency model?

A-aliasing-modelTopic: Related to the aliasing model (e.g. Stacked/Tree Borrows)Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)

Status: Open.

#585 In rust-lang/unsafe-code-guidelines;

·RalfJung openedon Oct 8, 2025

Can we make use of LLVM's <code>writable</code> for reference arguments?

A-aliasing-modelTopic: Related to the aliasing model (e.g. Stacked/Tree Borrows)Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)

Status: Open.

#584 In rust-lang/unsafe-code-guidelines;

·RalfJung openedon Sep 22, 2025

Using <code>pointer::add</code> with volatile memory

Status: Open.

#582 In rust-lang/unsafe-code-guidelines;

·Darksonn openedon Sep 19, 2025

How can mprotect be used soundly?

Status: Open.

#580 In rust-lang/unsafe-code-guidelines;

·RalfJung openedon Aug 30, 2025

Transmuting associated type of trait ref + data ref

Status: Open.

#577 In rust-lang/unsafe-code-guidelines;

·dhardy openedon Aug 13, 2025

Strengthening Tree Borrows so that we can discard Stacked Borrows

A-aliasing-modelTopic: Related to the aliasing model (e.g. Stacked/Tree Borrows)Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)

Status: Open.

#573 In rust-lang/unsafe-code-guidelines;

·RalfJung openedon Jun 9, 2025

Aliasing-motivated concurrency optimizations

Status: Open.

#572 In rust-lang/unsafe-code-guidelines;

·gonzalobg openedon Jun 7, 2025