| Category | Count |
|---|
| unsupported: constant scalars that are not primitives | 604 |
| bug: lifetime-annotated structs | 263 |
| unsupported: function shapes containing alias types (pcg) | 221 |
| unsupported: unsizing with unsupported types (no crash) | 212 |
| bug: indexing during parametric const encoding | 191 |
| unsupported: recursive struct types | 138 |
| unsupported: trait objects | 100 |
| bug: g_params uses concrete substs instead of identity args | 98 |
| unsupported: invalid uninitialized bytes in constants | 83 |
| unsupported: constant pointer-to-pointers | 65 |
| bug: const ptr offset overflow | 60 |
| bug: region index out-of-bounds | 51 |
| unsupported (pcg): dereferencing unsafe pointers | 47 |
| unsupported: &raw mut/const rvalue might be reached (no crash) | 42 |
| unsupported: c string literals | 21 |
| bug: ReVar from outer InferCtxt in try_normalize | 20 |
| unsupported: passing functions into other functions | 19 |
| unsupported: coroutine types | 18 |
| unsupported: closure rvalue might be reached (no crash) | 18 |
| unsupported: binary operation with one operand of pointer type | 17 |
| bug: duplicate identifier in consistency check (no crash) | 14 |
| unsupported: indirect constant values | 14 |
| not yet implemented: cast kind PtrToPtr | 9 |
| bug: invalid arguments to domain function in consistency check (no crash) | 9 |
| bug: verification error could not be backtranslated (no crash) | 8 |
| unsupported: bitwise operations | 7 |
| unsupported: implicit mut-to-const pointer coercions | 5 |
| unsupported: function shapes with incomparable regions (pcg) | 4 |
| not yet implemented | 4 |
| not yet implemented: cast kind PointerExposeProvenance | 3 |
| not yet implemented: cast kind PointerCoercion(ClosureFnPointer(Safe), Implicit) | 3 |
| internal error: entered unreachable code | 3 |
| success | 3 |
| unsupported (pcg): call with unsafe ptr with nested lifetime | 2 |
| assertion `left == right` failed | 2 |
| not yet implemented: cast kind PointerCoercion(ReifyFnPointer, Implicit) | 2 |
| bug: invalid identifier in consistency check (no crash) | 2 |
| offending pos id is missing for error VerificationError { full_id: "application.precondition:insufficient.permission", pos_id: None, offending_pos_id: None, reason_pos_id: None, message: "Precondition of function p_Int_i32_snap might not hold. There might be insufficient permission to access p_Int_i32(s_Option_1_field_0(_1p, s_Int_i32_type())) (<no position>)\n", counterexample: None } | 2 |
| not yet implemented: cast kind PointerCoercion(ReifyFnPointer, AsCast) | 2 |
| PCG Assertion Failed : [main::debuginfo] capabilities.get(RETURN_PLACE.into(), ctxt).unwrap() == | 1 |
| expected structlike or enumlike type | 1 |
| not yet implemented: cast kind FloatToInt | 1 |
| called `Result::unwrap()` on an `Err` value: DependencyError([("wand encoder", "WandEncTask { data: FunctionData { def_id: DefId(2:11056 ~ core[b6b5]::result::{impl#0}::as_ref), substs: [std::string::String, &'?59 str], caller_def_id: Some(DefId(0:3 ~ core_result_doctest_593[84c6]::main)) } }", []), ("wand encoder", "Unsupported(\"coupled edges: CoupleInputError\")", [])]) | 1 |
| Box<dyn Any> | 1 |
| PCG Assertion Failed : [main::set] capabilities.get(RETURN_PLACE.into(), ctxt).unwrap() == | 1 |
| not yet implemented: cast kind PointerWithExposedProvenance | 1 |
| cannot unfold array type without index | 1 |
| not yet implemented: const too generic | 1 |