master

MMatthieu MDocument inflexibility with simultaneous mutable borrows of ZSTs.

b30d09c7创建于 2024年1月28日历史提交

文件	最后提交记录	最后更新时间
ghost_borrow.rs	Auto-format * Changes: - Add rustfmt.toml with max-width override. - Run cargo fmt. * Motivation: Not perfect, but consistent.	2 年前
ghost_borrow_mut.rs	Document inflexibility with simultaneous mutable borrows of ZSTs. * Changes: - Add documentation explaining why GhostBorrowMut cannot allow simultaneous mutable borrows of a given ZST instance without potentially introducing unsoundness. - Add tests to verify that such cases are detected. - Simplify checking code, removing one use of `unsafe`. * Motivation: As demonstrated by @wackbyte in #32, there are ways to leverage simultaneous mutable borrows of a given ZST instance to obtain two mutable references to a GhostToken simultaneously, and it's all downhill from there.	2 年前
ghost_cell.rs	Add transposition for tuples * Changes: - Add transposition between GhostCell of tuple and tuple of GhostCells. * Motivation: While sound, it requires an unsafe implementation.	2 年前
ghost_cursor.rs	Auto-format * Changes: - Add rustfmt.toml with max-width override. - Run cargo fmt. * Motivation: Not perfect, but consistent.	2 年前
lib.rs	Auto-format * Changes: - Add rustfmt.toml with max-width override. - Run cargo fmt. * Motivation: Not perfect, but consistent.	2 年前