| Category | Count |
|---|
| unsupported: enum types in indirect predicate encoder | 1655 |
| unsupported: function shapes containing alias types (pcg) | 452 |
| unsupported: unsizing with unsupported types (no crash) | 249 |
| unsupported: recursive struct types | 132 |
| bug: ReVar from outer InferCtxt in try_normalize | 58 |
| unsupported (pcg): dereferencing unsafe pointers | 47 |
| unsupported: passing functions into other functions | 34 |
| bug: verification error could not be backtranslated (no crash) | 24 |
| unsupported: &raw mut/const rvalue might be reached (no crash) | 22 |
| unsupported: c string literals | 22 |
| unsupported: coroutine types | 20 |
| unsupported (pcg): call with unsafe ptr with nested lifetime | 16 |
| bug: local variable not found in consistency check (no crash) | 14 |
| not yet implemented | 13 |
| unsupported: closure rvalue might be reached (no crash) | 13 |
| unsupported: binary operation with one operand of pointer type | 11 |
| bug: duplicate identifier in consistency check (no crash) | 9 |
| internal error: entered unreachable code: FieldsShape::offset: `Primitive`s have no fields | 9 |
| unsupported: bitwise operations | 7 |
| not yet implemented: cast kind PtrToPtr | 7 |
| unsupported: nested references in promoted constants | 7 |
| unsupported: implicit mut-to-const pointer coercions | 5 |
| not yet implemented: cast kind PointerCoercion(ClosureFnPointer(Safe), Implicit) | 4 |
| bug: index out of bounds in GenericParams::map_index | 3 |
| called `Result::unwrap()` on an `Err` value: InterpErrorInfo(InterpErrorInfoInner { kind: MachineStop(ConstAccessesMutGlobal), backtrace: InterpErrorBacktrace { backtrace: None } }) | 3 |
| not yet implemented: cast kind PointerExposeProvenance | 3 |
| expected opaque (was TyData { data: TyUsePureRef { snapshot: s_Slice, args: GArgsTy { ty_args: [s_Int_i32_type()], const_args: [] }, ty_pure_ref: TyPureRef { domain: DomainIdn { idn: ViperIdent("s_Slice"), params: 0, _p: PhantomData<vir::type::Snap> }, unreachable_to_snap: FunctionIdn { idn: ViperIdent("s_Slice_unreachable"), args: ([Type], []), result_ty: s_Slice, debug_info: DebugInfo(PhantomData<&()>) } } }, specifics: Array(ArrayData { data: TyUsePureArrayData { caster: Casters(Casters { cast: GArgCasters { make_generic: FunctionIdn { idn: ViperIdent("make_generic_s_Int_i32"), args: (s_Int_i32, [], []), result_ty: s_Param, debug_info: DebugInfo(PhantomData<&()>) }, make_concrete: FunctionIdn { idn: ViperIdent("make_concrete_s_Int_i32"), args: (s_Param, [], []), result_ty: s_Int_i32, debug_info: DebugInfo(PhantomData<&()>) } }, ty_args: GArgsTy { ty_args: [], const_args: [] } }), args: GArgsTy { ty_args: [s_Int_i32_type()], const_args: [] }, pure: TyPureArrayData { index_access: FunctionIdn { idn: ViperIdent("s_Slice_index"), args: (s_Slice, Int), result_ty: s_Param, debug_info: DebugInfo(PhantomData<&()>) }, ref_to_index_ref: FunctionIdn { idn: ViperIdent("s_Slice_index_ref"), args: (Ref, Int, [Type], []), result_ty: Ref, debug_info: DebugInfo(PhantomData<&()>) }, len: FunctionIdn { idn: ViperIdent("s_Slice_len"), args: s_Slice, result_ty: Int, debug_info: DebugInfo(PhantomData<&()>) } } }, slice: true }) }) | 2 |
| bug: invalid identifier in consistency check (no crash) | 2 |
| Expected a pointer: InterpErrorInfo(InterpErrorInfoInner { kind: UndefinedBehavior(ScalarSizeMismatch(ScalarSizeMismatch { target_size: 8, data_size: 4 })), backtrace: InterpErrorBacktrace { backtrace: None } }) | 2 |
| not yet implemented: cast kind PointerCoercion(ReifyFnPointer, Implicit) | 2 |
| unsupported (pcg): move unsafe ptr with nested lifetime | 2 |
| internal error: entered unreachable code | 2 |
| not yet implemented: cast kind PointerCoercion(ReifyFnPointer, AsCast) | 2 |
| not yet implemented: const too generic | 2 |
| success | 2 |
| cannot unfold array type without index | 1 |
| expected structlike or enumlike type | 1 |
| `ref_to_mplace` called on non-ptr type | 1 |
| not yet implemented: cast kind FloatToInt | 1 |
| Box<dyn Any> | 1 |
| not yet implemented: cast kind PointerWithExposedProvenance | 1 |