| fmt | - | - |
| all_even | - | - |
| ↳ all_even | 2 tests | 0/1 |
| sum_all | - | - |
| ↳ sum | 2 tests | 0/1 |
| transitive_reachable | - | - |
| ↳ base | 2 tests | 0/1 |
| ↳ transitive | 2 tests | 0/2 |
| is_zero | - | - |
| ↳ is_zero | ✗ | 0/1 |
| is_one | - | - |
| ↳ is_one | ✗ | N/A |
| prove_thing | - | - |
| ↳ positive | ✗ | 0/1 |
| ↳ zero | ✗ | 0/1 |
| only_one | - | - |
| ↳ one | ✗ | 0/1 |
| mixed | - | - |
| ↳ kitchen sink | ✗ | 0/3 |
| ↳ fallible let | ✗ | 0/1 |
| ↳ all infallible | ✗ | N/A |
| move_place | - | - |
| ↳ copy | ✗ | 0/2 |
| ↳ give | ✗ | 0/1 |
| check_adt | - | - |
| ↳ check adt | 63 tests | 2/3 |
| borrow_check | - | - |
| ↳ borrow_check | 107 tests | 1/1 |
| borrow_check_block | - | - |
| ↳ basic block | 107 tests | 1/3 |
| borrow_check_statement | - | no applicable rule observed |
| ↳ let | 87 tests | 1/3 |
| ↳ if | 45 tests | 2/3 |
| ↳ expr | 36 tests | 1/1 |
| ↳ loop | 34 tests | 1/2 |
| ↳ break | 24 tests | 1/2 |
| ↳ continue | 3 tests | 2/3 |
| ↳ return | 81 tests | 2/3 |
| ↳ block | 6 tests | 1/1 |
| ↳ exists | 54 tests | 1/2 |
| ↳ exists | 54 tests | 2/3 |
| ↳ exists | 54 tests | 2/3 |
| ↳ print | 24 tests | 0/1 |
| borrow_check_expr_has_ty | - | - |
| ↳ block | 89 tests | 2/2 |
| borrow_check_expr | - | - |
| ↳ assign | 33 tests | 3/4 |
| ↳ call | 41 tests | 3/8 |
| ↳ literal | 60 tests | N/A |
| ↳ true | 43 tests | N/A |
| ↳ false | 7 tests | N/A |
| ↳ ref | 45 tests | 2/3 |
| ↳ place | 88 tests | 3/4 |
| ↳ fn-name | 7 tests | 2/4 |
| ↳ turbofish | 35 tests | 1/2 |
| ↳ struct | 18 tests | 1/6 |
| borrow_check_loop | - | - |
| ↳ loop | 32 tests | 2/2 |
| ↳ fixed-point | 34 tests | 2/2 |
| borrow_check_place_expr | - | - |
| ↳ local | 90 tests | 1/1 |
| ↳ struct field | 20 tests | 2/7 |
| ↳ tuple field | ✗ | 0/4 |
| ↳ parens | 15 tests | 0/1 |
| ↳ deref-ref | 46 tests | 0/2 |
| drop_places | - | - |
| ↳ drop_places | 107 tests | 0/1 |
| access_permitted | - | - |
| ↳ access_permitted | 90 tests | 2/2 |
| access_permitted_by_loans | - | - |
| ↳ access_permitted_by_loans | 93 tests | 0/1 |
| access_permitted_by_loan | - | - |
| ↳ borrow of disjoint places | 45 tests | 1/1 |
| ↳ read-shared is ok | ✗ | N/A |
| ↳ write-indirect | 20 tests | 2/4 |
| ↳ loan is dead | 24 tests | 1/3 |
| access_kind_for_place_use | - | - |
| ↳ copy | ✗ | 0/1 |
| ↳ move | 88 tests | N/A |
| prove_ty_is_copy | - | - |
| ↳ trait | 9 tests | 1/1 |
| prove_place_is_movable | - | - |
| ↳ local | 85 tests | N/A |
| ↳ field | 3 tests | 1/2 |
| ↳ copy | 9 tests | 1/1 |
| prove_ty_is_ref | - | - |
| ↳ ref | 20 tests | 0/1 |
| prove_ty_is_rigid | - | - |
| ↳ rigid | 49 tests | N/A |
| ↳ normalize | 15 tests | 0/2 |
| prove_assignable | - | - |
| ↳ never-to-b | ✗ | 0/1 |
| ↳ subtype | 99 tests | 1/1 |
| loan_cannot_outlive_universal_regions | - | - |
| ↳ loan_not_required_by_universal_regions | 24 tests | 1/1 |
| loan_not_required_by_live_places | - | - |
| ↳ loan_not_required_by_live_places | 24 tests | 0/1 |
| loan_not_required_by_live_place | - | - |
| ↳ loan is not required by type | 14 tests | 1/2 |
| loan_not_required_by_live_place_prefix | - | - |
| ↳ no prefix | 14 tests | 0/1 |
| ↳ prefix | 6 tests | 0/2 |
| loan_not_required_by_parameter | - | - |
| ↳ rigid-ty | 14 tests | 1/1 |
| ↳ alias-ty RFC 1214 | 6 tests | 1/1 |
| ↳ for-all-type | ✗ | 0/1 |
| ↳ universal-variable | ✗ | 1/1 |
| ↳ lifetime | 12 tests | 1/1 |
| loan_cannot_outlive | - | - |
| ↳ loan_cannot_outlive | 12 tests | 1/1 |
| loan_not_required_by_parameters | - | - |
| ↳ loan_not_required_by_parameters | 14 tests | 0/1 |
| verify_universal_outlives | - | - |
| ↳ verify_universal_outlives | 46 tests | 0/1 |
| only_assumed_outlives | - | - |
| ↳ existential | 45 tests | 0/1 |
| ↳ universal lifetime | 37 tests | 0/2 |
| can_outlive | - | - |
| ↳ existential target | 29 tests | 0/1 |
| ↳ universal target | 2 tests | 1/3 |
| check_coherence | - | - |
| ↳ check_coherence | 148 tests | 0/3 |
| orphan_check | - | - |
| ↳ orphan_check | 144 tests | 1/1 |
| orphan_check_neg | - | - |
| ↳ orphan_check_neg | 3 tests | 1/1 |
| check_free_fn | - | - |
| ↳ check free fn | 111 tests | 1/1 |
| check_fn | - | - |
| ↳ check fn | 113 tests | 1/4 |
| check_fn_body | - | - |
| ↳ no fn body | 1 test | N/A |
| ↳ trusted fn body | 22 tests | N/A |
| ↳ expr fn body | 107 tests | 1/2 |
| check_trait_impl | - | - |
| ↳ check_trait_impl | 144 tests | 4/8 |
| check_neg_trait_impl | - | - |
| ↳ check_neg_trait_impl | 3 tests | 1/1 |
| ↳ check_neg_trait_impl | 3 tests | 0/2 |
| check_safety_matches | - | - |
| ↳ safety matches | 144 tests | 1/1 |
| check_trait_impl_item | - | - |
| ↳ fn in impl | ✗ | 0/1 |
| ↳ associated ty value | 132 tests | 0/1 |
| check_fn_in_impl | - | - |
| ↳ check_fn_in_impl | ✗ | 0/7 |
| check_associated_ty_value | - | - |
| ↳ check_associated_ty_value | 132 tests | 0/6 |
| check_drop_impl_always_applicable | - | - |
| ↳ not a Drop impl | 144 tests | 0/1 |
| ↳ Drop impl is always applicable | 6 tests | 3/6 |
| check_all_crates | - | - |
| ↳ check all prefixes | 148 tests | 0/1 |
| check_crate | - | - |
| ↳ check crate | 148 tests | 3/4 |
| check_crate_item | - | - |
| ↳ trait | 148 tests | 1/1 |
| ↳ trait impl | 144 tests | 2/2 |
| ↳ adt | 63 tests | 1/1 |
| ↳ free fn | 111 tests | 1/1 |
| ↳ neg trait impl | 3 tests | 1/1 |
| ↳ test | ✗ | 0/1 |
| ↳ feature gate | 33 tests | N/A |
| check_trait | - | - |
| ↳ check trait | 148 tests | 2/3 |
| check_trait_item | - | - |
| ↳ fn in trait | 2 tests | 0/1 |
| ↳ associated ty in trait | 133 tests | 0/1 |
| check_fn_in_trait | - | - |
| ↳ check fn in trait | 2 tests | 0/1 |
| check_associated_ty | - | - |
| ↳ check associated ty | 133 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 | - | - |
| ↳ literal | ✗ | N/A |
| ↳ fn-as-value | ✗ | 0/2 |
| ↳ place | ✗ | 0/2 |
| ↳ true | ✗ | N/A |
| ↳ false | ✗ | N/A |
| ↳ assign | ✗ | 0/5 |
| ↳ turbofish | ✗ | N/A |
| ↳ call | ✗ | 0/7 |
| ↳ ref | ✗ | 0/3 |
| ↳ struct | ✗ | 0/4 |
| 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 |
| 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 | 143 tests | 1/1 |
| ↳ local parameter | 11 tests | 2/3 |
| is_not_downstream | - | - |
| ↳ lifetime | ✗ | N/A |
| ↳ rigid | 2 tests | N/A |
| ↳ via normalize | 1 test | 1/2 |
| ↳ type variable | ✗ | N/A |
| is_local_parameter | - | - |
| ↳ local parameter | 1 test | 2/2 |
| ↳ fundamental rigid type | ✗ | 1/2 |
| ↳ local rigid type | 10 tests | 1/1 |
| ↳ existential variable | 1 test | N/A |
| prove_after | - | - |
| ↳ prove_after | 171 tests | 1/1 |
| prove_const_has_type | - | no applicable rule observed |
| ↳ rigid constant | 3 tests | N/A |
| ↳ block | ✗ | 0/1 |
| prove_eq | - | - |
| ↳ symmetric | 155 tests | 1/1 |
| ↳ rigid | 136 tests | 1/2 |
| ↳ alias | 1 test | 1/2 |
| ↳ existential | 158 tests | 1/1 |
| ↳ normalize-l | 18 tests | 2/2 |
| prove_existential_var_eq | - | - |
| ↳ existential-nonvar | 59 tests | 2/2 |
| ↳ existential-existential | 17 tests | N/A |
| ↳ existential-universal | 149 tests | 1/1 |
| prove_normalize | - | no applicable rule observed |
| ↳ normalize-via-assumption | 3 tests | 1/2 |
| ↳ normalize-via-impl | 55 tests | 1/5 |
| 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 | ✗ | 0/3 |
| ↳ forall | ✗ | 0/2 |
| ↳ 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 |
| main | - | - |
| ↳ static outlives everything | ✗ | N/A |
| ↳ anything outlives erased | ✗ | N/A |
| ↳ erased outlives static | ✗ | N/A |
| ↳ rigid types | ✗ | 0/1 |
| ↳ outlive through assumption | ✗ | 0/1 |
| ↳ anything can be pending | ✗ | 0/1 |
| prove_sub | - | - |
| ↳ normalize-l | 36 tests | 1/2 |
| ↳ normalize-r | 6 tests | 1/2 |
| ↳ rigid | 47 tests | 0/2 |
| ↳ lifetime => outlives | 42 tests | 0/1 |
| prove_via | - | no applicable rule observed |
| ↳ predicate-congruence-axiom | 13 tests | 1/2 |
| ↳ relation-axiom | 8 tests | 0/2 |
| ↳ forall | 2 tests | 1/1 |
| ↳ implies | ✗ | 0/2 |
| prove_wc | - | - |
| ↳ forall | 12 tests | 1/1 |
| ↳ implies | 4 tests | 1/1 |
| ↳ assumption - predicate | 13 tests | 1/2 |
| ↳ assumption - relation | 8 tests | 1/2 |
| ↳ positive impl | 153 tests | 3/4 |
| ↳ coherence / remote impl | ✗ | 0/2 |
| ↳ negative impl | 3 tests | 0/3 |
| ↳ alias eq | 1 test | 0/1 |
| ↳ trait implied bound | 1 test | 3/3 |
| ↳ eq | 165 tests | 1/1 |
| ↳ subtype | 99 tests | 1/1 |
| ↳ trait well formed | 19 tests | 2/2 |
| ↳ trait ref is local | 145 tests | 1/1 |
| ↳ outlives | 130 tests | 1/1 |
| ↳ parameter well formed | 138 tests | 1/1 |
| ↳ const has ty | 3 tests | 2/2 |
| prove_wc_list | - | - |
| ↳ none | 172 tests | N/A |
| ↳ some | 171 tests | 2/2 |
| prove_wf | - | - |
| ↳ universal variables | 141 tests | N/A |
| ↳ references | 59 tests | 1/3 |
| ↳ raw-pointers | ✗ | 0/2 |
| ↳ tuples | 36 tests | 0/1 |
| ↳ integers and booleans | 112 tests | 0/1 |
| ↳ ADT | 50 tests | 1/3 |
| ↳ static lifetime | 1 test | N/A |
| ↳ scalar constants are always wf | 3 tests | N/A |
| ↳ aliases | 1 test | 0/1 |