Closed
Description
While chatting with @oli-obk, we came up with this schema for separating the EvalErrorKind
enum into two parts.
What's everyone's thoughts on this?
- Classify the unclassified variants of
UnsupportedOpInfo
- Figure out what to do with panics (see Miri engine: proper support for
Assert
MIR terminators rust#66874 (comment)) - Errors caused by misuse of lang items or intrinsics should
bug!
- Review every use of
throw_unsup
anderr_unsup
to make sure we really want them to be marked as "unsupported", not something else
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Metadata
Assignees
Labels
No labels