Alexa VanHattum
Alexa VanHattum
Updated description to match current state.
Updated to reflect that `--pointer-check` is used by default and that for closures we only fail for boxed closures.
Updated to reflect that all known cases of boxed closures now work.
As of 2021-09-01, all known soundness issues specific to dynamic traits objects and vtables have been resolved. However, two issues to note: - In certain cases of trait objects nested...