Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fail compilation on targets w/o soundness proof
TODO: Figure out how to make sure we block the next minor version release on adding back all of the targets that people actually rely on. Makes progress on #383
- Loading branch information