escher

escher copied to clipboard

Unsound in the presence of contravariant or invariant lifetimes

1

Here is an example of Undefined Behavior (use after free) in safe code caused by escher. ```rust use escher::{Escher, Rebindable}; use std::cell::Cell; #[derive(Rebindable)] struct Struct

dtolnay

The following excerpts from https://github.com/petrosagg/escher/tree/016f4c10491741690411d7b5a080218d8399b693#the-problem-with-self-references: > The main problem with self-referencial structs is that if such a struct was somehow constructed the compiler would then have to statically prove that...

dtolnay