| 943 | /// Kind of per-constant error — selects which `CheckError` ctor to build on |
| 944 | /// the Lean side. See tag constants at the top of the module. |
| 945 | #[derive(Clone, Copy)] |
| 946 | enum ErrKind { |
| 947 | Kernel, |
| 948 | Compile, |
| 949 | } |
| 950 | |
| 951 | impl ErrKind { |
nothing calls this directly
no outgoing calls
no test coverage detected