| propagated_grandchild | - | - |
| ↳ value | ✗ | N/A |
| propagated_child | - | - |
| ↳ grandchild | ✗ | 0/1 |
| calls_child_then_grandchild | - | - |
| ↳ both | ✗ | 0/3 |
| reused_child | - | - |
| ↳ value | ✗ | N/A |
| calls_reused_child_twice | - | - |
| ↳ twice | ✗ | 0/2 |
| propagated_other_child | - | - |
| ↳ grandchild | ✗ | 0/1 |
| calls_sibling_children | - | - |
| ↳ siblings | ✗ | 0/3 |
| counted_root | - | - |
| ↳ value | ✗ | N/A |
| shared_child | - | - |
| ↳ value | ✗ | N/A |
| first_root | - | - |
| ↳ child | ✗ | 0/1 |
| second_root | - | - |
| ↳ child | ✗ | 0/1 |
| memo_reachable | - | - |
| ↳ edge | ✗ | 0/1 |
| ↳ transitive | ✗ | 0/2 |
| monotone_node | - | - |
| ↳ minimal satisfying clause | ✗ | 0/2 |
| check_adt | - | - |
| ↳ check adt | 59 tests | 1/2 |
| borrow_check | - | - |
| ↳ borrow_check | 175 tests | 1/1 |
| borrow_check_block | - | - |
| ↳ basic block | 175 tests | 1/3 |
| borrow_check_statement | - | no applicable rule observed |
| ↳ let | 94 tests | 1/3 |
| ↳ let-no-init | 6 tests | 1/2 |
| ↳ if | 29 tests | 2/3 |
| ↳ expr | 47 tests | 1/1 |
| ↳ loop | 23 tests | 1/2 |
| ↳ break | 17 tests | 1/2 |
| ↳ continue | 3 tests | 2/3 |
| ↳ return | 79 tests | 2/3 |
| ↳ block | 6 tests | 1/1 |
| ↳ exists | 48 tests | 0/2 |
| ↳ exists | 48 tests | 0/2 |
| ↳ exists | 48 tests | 0/2 |
| ↳ print | 75 tests | 0/1 |
| borrow_check_expr_has_ty | - | - |
| ↳ block | 118 tests | 2/2 |
| borrow_check_expr | - | - |
| ↳ parenthesized | 5 tests | 0/1 |
| ↳ multiplication | 7 tests | 1/1 |
| ↳ assign | 27 tests | 4/4 |
| ↳ assign-op | 7 tests | 5/7 |
| ↳ call | 41 tests | 2/8 |
| ↳ binop | 23 tests | 3/4 |
| ↳ literal | 114 tests | N/A |
| ↳ true | 28 tests | N/A |
| ↳ false | 7 tests | N/A |
| ↳ ref | 41 tests | 2/3 |
| ↳ place | 100 tests | 3/4 |
| ↳ fn-name | 14 tests | 1/3 |
| ↳ turbofish | 30 tests | 1/1 |
| ↳ struct | 19 tests | 2/7 |
| borrow_check_fn_ref | - | - |
| ↳ fn-ref | 43 tests | 3/4 |
| borrow_check_loop | - | - |
| ↳ loop | 20 tests | 2/2 |
| ↳ fixed-point | 23 tests | 2/2 |
| borrow_check_place_expr | - | - |
| ↳ local | 103 tests | 1/1 |
| ↳ struct field | 19 tests | 2/7 |
| ↳ tuple field | ✗ | 0/4 |
| ↳ parens | 8 tests | 0/1 |
| ↳ deref-ref | 42 tests | 0/2 |
| drop_places | - | - |
| ↳ drop_places | 175 tests | 0/1 |
| access_permitted | - | - |
| ↳ access_permitted | 103 tests | 2/2 |
| access_permitted_by_loans | - | - |
| ↳ access_permitted_by_loans | 106 tests | 0/1 |
| access_permitted_by_loan | - | - |
| ↳ borrow of disjoint places | 41 tests | 1/1 |
| ↳ read-shared is ok | 2 tests | N/A |
| ↳ write-indirect | 10 tests | 2/4 |
| ↳ loan is dead | 18 tests | 1/3 |
| access_kind_for_place_use | - | - |
| ↳ copy | 3 tests | 0/1 |
| ↳ move | 100 tests | N/A |
| prove_ty_is_copy | - | - |
| ↳ trait | 20 tests | 1/1 |
| prove_place_is_movable | - | - |
| ↳ local | 89 tests | N/A |
| ↳ field | 7 tests | 1/2 |
| ↳ copy | 17 tests | 1/1 |
| prove_ty_is_ref | - | - |
| ↳ ref | 10 tests | 0/1 |
| prove_ty_is_rigid | - | - |
| ↳ rigid | 76 tests | N/A |
| ↳ normalize | 9 tests | 0/2 |
| prove_assignable | - | - |
| ↳ never-to-b | ✗ | 0/1 |
| ↳ subtype | 129 tests | 1/1 |
| loan_cannot_outlive_universal_regions | - | - |
| ↳ loan_not_required_by_universal_regions | 18 tests | 1/1 |
| loan_not_required_by_live_places | - | - |
| ↳ loan_not_required_by_live_places | 18 tests | 0/1 |
| loan_not_required_by_live_place | - | - |
| ↳ loan is not required by type | 12 tests | 1/2 |
| loan_not_required_by_live_place_prefix | - | - |
| ↳ no prefix | 12 tests | 0/1 |
| ↳ prefix | 3 tests | 0/2 |
| loan_not_required_by_parameter | - | - |
| ↳ rigid-ty | 12 tests | 1/1 |
| ↳ alias-ty RFC 1214 | 3 tests | 1/1 |
| ↳ for-all-type | ✗ | 0/1 |
| ↳ universal-variable | ✗ | 1/1 |
| ↳ lifetime | 9 tests | 1/1 |
| loan_cannot_outlive | - | - |
| ↳ loan_cannot_outlive | 9 tests | 1/1 |
| loan_not_required_by_parameters | - | - |
| ↳ loan_not_required_by_parameters | 12 tests | 0/1 |
| verify_universal_outlives | - | - |
| ↳ verify_universal_outlives | 44 tests | 0/1 |
| only_assumed_outlives | - | - |
| ↳ existential | 43 tests | 0/1 |
| ↳ universal lifetime | 25 tests | 0/2 |
| can_outlive | - | - |
| ↳ existential target | 20 tests | 0/1 |
| ↳ universal target | 3 tests | 1/3 |
| check_coherence | - | - |
| ↳ check_coherence | 214 tests | 0/3 |
| orphan_check | - | - |
| ↳ orphan_check | 210 tests | 0/1 |
| orphan_check_neg | - | - |
| ↳ orphan_check_neg | 3 tests | 0/1 |
| overlap_check_impl | - | - |
| ↳ same impl | 210 tests | 1/1 |
| ↳ different trait | 194 tests | 1/1 |
| ↳ not goal | 195 tests | 0/3 |
| ↳ inverted | 1 test | 0/3 |
| check_free_fn | - | - |
| ↳ check free fn | 175 tests | 1/1 |
| check_fn | - | - |
| ↳ check fn | 200 tests | 0/1 |
| check_fn_body | - | - |
| ↳ no fn body | 192 tests | N/A |
| ↳ trusted fn body | 15 tests | N/A |
| ↳ expr fn body | 175 tests | 1/2 |
| check_trait_impl | - | - |
| ↳ check_trait_impl | 210 tests | 0/1 |
| check_neg_trait_impl | - | - |
| ↳ check_neg_trait_impl | 3 tests | 1/1 |
| ↳ check_neg_trait_impl | 3 tests | 0/1 |
| check_safety_matches | - | - |
| ↳ safety matches | 210 tests | 1/1 |
| check_trait_impl_item | - | - |
| ↳ fn in impl | 5 tests | 1/1 |
| ↳ associated ty value | 194 tests | 0/1 |
| check_fn_in_impl | - | - |
| ↳ check_fn_in_impl | 5 tests | 1/3 |
| check_associated_ty_value | - | - |
| ↳ check_associated_ty_value | 194 tests | 0/2 |
| check_drop_impl_always_applicable | - | - |
| ↳ not a Drop impl | 210 tests | 0/1 |
| ↳ Drop impl is always applicable | 5 tests | 2/5 |
| check_all_crates | - | - |
| ↳ check all prefixes | 214 tests | 0/1 |
| check_crate | - | - |
| ↳ check crate | 214 tests | 3/4 |
| check_crate_item | - | - |
| ↳ trait | 214 tests | 1/1 |
| ↳ trait impl | 210 tests | 2/2 |
| ↳ adt | 59 tests | 1/1 |
| ↳ free fn | 175 tests | 1/1 |
| ↳ neg trait impl | 3 tests | 1/1 |
| ↳ test | ✗ | 0/1 |
| ↳ feature gate | 62 tests | N/A |
| check_trait | - | - |
| ↳ check trait | 214 tests | 0/1 |
| check_trait_item | - | - |
| ↳ fn in trait | 193 tests | 0/1 |
| ↳ associated ty in trait | 195 tests | 0/1 |
| check_fn_in_trait | - | - |
| ↳ check fn in trait | 193 tests | 0/1 |
| check_associated_ty | - | - |
| ↳ check associated ty | 195 tests | 0/1 |
| codegen_function | - | - |
| ↳ function | ✗ | 0/3 |
| codegen_block | - | - |
| ↳ block | ✗ | 0/2 |
| ↳ labeled-block | ✗ | 0/2 |
| codegen_stmt | - | - |
| ↳ let-init | ✗ | 0/3 |
| ↳ let-no-init | ✗ | 0/2 |
| ↳ return | ✗ | 0/1 |
| ↳ print | ✗ | 0/4 |
| ↳ if | ✗ | 0/3 |
| ↳ expr | ✗ | 0/3 |
| ↳ loop | ✗ | 0/3 |
| ↳ break | ✗ | 0/1 |
| ↳ continue | ✗ | 0/2 |
| ↳ block | ✗ | 0/1 |
| ↳ exists | ✗ | 0/2 |
| codegen_expr_into | - | - |
| ↳ parenthesized | ✗ | 0/1 |
| ↳ multiplication | ✗ | 0/1 |
| ↳ literal | ✗ | N/A |
| ↳ fn-as-value | ✗ | 0/2 |
| ↳ place | ✗ | 0/2 |
| ↳ true | ✗ | N/A |
| ↳ false | ✗ | N/A |
| ↳ assign | ✗ | 0/5 |
| ↳ assign-op | ✗ | 0/5 |
| ↳ turbofish | ✗ | N/A |
| ↳ call | ✗ | 0/7 |
| ↳ ref | ✗ | 0/3 |
| ↳ struct | ✗ | 0/4 |
| ↳ binop | ✗ | 0/6 |
| resolve_place | - | - |
| ↳ resolve | ✗ | 0/1 |
| resolve_rigid | - | - |
| ↳ resolve | ✗ | 0/1 |
| type_expr | - | - |
| ↳ type_expr | ✗ | 0/1 |
| may_be_remote | - | - |
| ↳ may be defined downstream | ✗ | 0/1 |
| ↳ may be added by upstream in a minor release | ✗ | 0/1 |
| may_be_downstream_trait_ref | - | - |
| ↳ may_be_downstream_trait_ref | ✗ | 0/2 |
| may_be_downstream_parameter | - | - |
| ↳ type variable | ✗ | N/A |
| ↳ via normalize | ✗ | 0/3 |
| ↳ fundamental rigid type | ✗ | 0/3 |
| may_contain_downstream_type | - | - |
| ↳ existential variable | ✗ | N/A |
| ↳ rigid type parameter | ✗ | 0/2 |
| ↳ via normalize | ✗ | 0/2 |
| ↳ forall | ✗ | 0/1 |
| normalizes_to_not_downstream | - | - |
| ↳ ambiguous | ✗ | 0/2 |
| is_local_trait_ref | - | - |
| ↳ local trait | 205 tests | 1/1 |
| ↳ local parameter | 14 tests | 2/3 |
| is_not_downstream | - | - |
| ↳ lifetime | 2 tests | N/A |
| ↳ rigid | 4 tests | 1/1 |
| ↳ fundamental type | 2 tests | 1/2 |
| ↳ via normalize | 1 test | 1/2 |
| ↳ type variable | ✗ | N/A |
| is_local_parameter | - | - |
| ↳ local parameter | 1 test | 2/2 |
| ↳ fundamental rigid type | 2 tests | 2/2 |
| ↳ local rigid type | 13 tests | 1/1 |
| ↳ existential variable | 1 test | N/A |
| prove_after | - | - |
| ↳ prove_after | 237 tests | 1/1 |
| prove_const_has_type | - | no applicable rule observed |
| ↳ rigid constant | 4 tests | N/A |
| ↳ block | ✗ | 0/1 |
| prove_eq | - | - |
| ↳ symmetric | 220 tests | 1/1 |
| ↳ rigid | 201 tests | 1/2 |
| ↳ alias | 1 test | 1/2 |
| ↳ existential | 223 tests | 1/1 |
| ↳ normalize-l | 26 tests | 2/2 |
| prove_existential_var_eq | - | - |
| ↳ existential-nonvar | 56 tests | 2/2 |
| ↳ existential-existential | 21 tests | N/A |
| ↳ existential-universal | 214 tests | 1/1 |
| prove_normalize | - | no applicable rule observed |
| ↳ normalize-via-assumption | 4 tests | 1/2 |
| ↳ normalize-via-impl | 55 tests | 1/2 |
| prove_normalize_via | - | no applicable rule observed |
| ↳ var-axiom-l | ✗ | 0/2 |
| ↳ var-axiom-r | ✗ | 0/2 |
| ↳ axiom-l | 3 tests | 1/3 |
| ↳ axiom-r | 1 test | 0/3 |
| ↳ forall | ✗ | 0/1 |
| ↳ implies | ✗ | 0/2 |
| prove_syntactically_eq | - | - |
| ↳ symmetric | 1 test | 1/1 |
| ↳ rigid | ✗ | 0/2 |
| ↳ alias | 1 test | 1/2 |
| ↳ existential-nonvar | 1 test | 1/1 |
| prove_outlives | - | no applicable rule observed |
| ↳ static outlives everything | ✗ | N/A |
| ↳ anything outlives erased | ✗ | N/A |
| ↳ erased outlives static | ✗ | N/A |
| ↳ rigid types | 55 tests | 0/1 |
| ↳ outlive through assumption | 195 tests | 0/1 |
| ↳ anything can be pending | 29 tests | 0/1 |
| prove_predicate | - | - |
| ↳ forall | 14 tests | 0/1 |
| ↳ implies | 4 tests | 1/1 |
| ↳ assumption | 23 tests | 1/2 |
| ↳ positive impl | 219 tests | 0/2 |
| ↳ coherence / remote impl | ✗ | 0/2 |
| ↳ negative impl | 3 tests | 1/2 |
| ↳ alias eq | 1 test | 0/1 |
| ↳ trait implied bound | 1 test | 1/2 |
| ↳ eq | 231 tests | 1/1 |
| ↳ subtype | 134 tests | 1/1 |
| ↳ trait well formed | 30 tests | 2/2 |
| ↳ trait ref is local | 211 tests | 1/1 |
| ↳ outlives | 195 tests | 1/1 |
| ↳ parameter well formed | 204 tests | 1/1 |
| ↳ const has ty | 4 tests | 2/2 |
| prove_predicate_list | - | - |
| ↳ none | 238 tests | N/A |
| ↳ some | 237 tests | 2/2 |
| prove_sub | - | - |
| ↳ normalize-l | 29 tests | 1/2 |
| ↳ normalize-r | 12 tests | 1/2 |
| ↳ rigid | 33 tests | 0/2 |
| ↳ lifetime => outlives | 29 tests | 0/1 |
| prove_via | - | no applicable rule observed |
| ↳ predicate-congruence-axiom | 16 tests | 1/3 |
| ↳ relation-axiom | 8 tests | 0/3 |
| ↳ forall | 2 tests | 0/1 |
| ↳ implies | ✗ | 0/2 |
| prove_wf | - | - |
| ↳ universal variables | 206 tests | N/A |
| ↳ references | 192 tests | 1/3 |
| ↳ raw-pointers | ✗ | 0/2 |
| ↳ tuples | 200 tests | 0/1 |
| ↳ integers and booleans | 131 tests | 0/1 |
| ↳ ADT | 46 tests | 1/3 |
| ↳ static lifetime | 1 test | N/A |
| ↳ scalar constants are always wf | 1 test | N/A |
| ↳ aliases | 5 tests | 0/1 |