Coverage by test

The same data as the coverage report, organized by test rather than by judgment: each test lists the rules it proves and the premises it is observed to fail on.

`crates/formality-core/src/judgment/test_explicit_fail.rs`

Test	Rules proved	Premises failed
local_can_be_moved (line 39)	1	0
deref_explicit_failure_message (line 44)	0	1

`crates/formality-core/src/judgment/test_fallible.rs`

Test	Rules proved	Premises failed
is_equal_22 (line 58)	1	0
is_equal_44 (line 63)	2	0
is_not_equal (line 68)	0	1

`crates/formality-core/src/judgment/test_filtered.rs`

Test	Rules proved	Premises failed
judgment (line 51)	0	1
judgment (line 55)	2	0

`crates/formality-core/src/judgment/test_for_all.rs`

Test	Rules proved	Premises failed
test_for_all_success (line 37)	1	0
test_for_all_failure (line 43)	0	1
test_for_all_empty (line 51)	1	0
test_for_all_with_accumulator (line 74)	1	0
test_for_all_with_accumulator_empty (line 80)	1	0

`crates/formality-core/src/judgment/test_reachable.rs`

Test	Rules proved	Premises failed
judgment (line 51)	2	0

`crates/formality-rust/src/prove/test/adt_wf.rs`

Test	Rules proved	Premises failed
well_formed_adt (line 30)	8	0
not_well_formed_adt (line 44)	0	11

`crates/formality-rust/src/prove/test/eq_assumptions.rs`

Test	Rules proved	Premises failed
test_a (line 15)	12	0
test_b (line 24)	12	0
test_normalize_assoc_ty (line 33)	7	0
test_normalize_assoc_ty_existential0 (line 41)	0	19
test_normalize_assoc_ty_existential1 (line 126)	11	0

`crates/formality-rust/src/prove/test/eq_partial_eq.rs`

Test	Rules proved	Premises failed
eq_implies_partial_eq (line 25)	11	0
not_partial_eq_implies_eq (line 33)	0	5
universals_not_eq (line 44)	0	12

`crates/formality-rust/src/prove/test/exists_constraints.rs`

Test	Rules proved	Premises failed
exists_u_for_t (line 24)	7	0

`crates/formality-rust/src/prove/test/expanding.rs`

Test	Rules proved	Premises failed
expanding (line 23)	4	0

`crates/formality-rust/src/prove/test/is_local.rs`

Test	Rules proved	Premises failed
test_forall_not_local (line 11)	0	6
test_exists_not_local (line 26)	6	0

`crates/formality-rust/src/prove/test/magic_copy.rs`

Test	Rules proved	Premises failed
all_t_not_magic (line 25)	0	12
all_t_not_copy (line 40)	0	12

`crates/formality-rust/src/prove/test/occurs_check.rs`

Test	Rules proved	Premises failed
direct_cycle (line 24)	0	6
eq_variable_to_rigid (line 36)	6	0
eq_rigid_to_variable (line 42)	7	0
indirect_cycle_1 (line 48)	0	8
indirect_cycle_2 (line 60)	0	8

`crates/formality-rust/src/prove/test/simple_impl.rs`

Test	Rules proved	Premises failed
vec_u32_debug (line 24)	9	0
vec_vec_u32_debug (line 30)	9	0

`crates/formality-rust/src/prove/test/universes.rs`

Test	Rules proved	Premises failed
exists_u_for_t (line 14)	0	8
for_t_exists_u (line 37)	9	0

`tests/associated_type_normalization.rs`

Test	Rules proved	Premises failed
test_mirror_normalizes_u32_to_u32 (line 19)	9	0

`tests/basic_tests.rs`

Test	Rules proved	Premises failed
hello_world_fail (line 34)	0	9
hello_world (line 58)	35	0
basic_where_clauses_pass (line 74)	26	0
basic_where_clauses_fail (line 85)	0	11
basic_where_clauses_without_lifetime_binders_feature_flag_fail (line 103)	0	2
foo (line 121)	32	0
foo (line 133)	0	2
non_lifetime_binder_in_trait_impl_where_clause_pass (line 149)	29	0
non_lifetime_binder_in_trait_impl_where_clause_fail (line 161)	0	2
non_lifetime_binder_in_neg_trait_impl_where_clause_pass (line 179)	33	0
non_lifetime_binder_in_neg_trait_impl_where_clause_fail (line 191)	0	2
non_lifetime_binder_in_enum_where_clause_pass (line 209)	28	0
non_lifetime_binder_in_enum_where_clause_fail (line 221)	0	2
non_lifetime_binder_in_struct_where_clause_pass (line 239)	28	0
non_lifetime_binder_in_struct_where_clause_fail (line 251)	0	2
lifetime_binder_in_where_clause_without_feature_pass (line 266)	25	0
basic_adt_variant_dup (line 277)	0	4
basic_adt_field_dup (line 290)	0	4
line 303	0	4
trait_items_with_duplicate_associated_type_names (line 316)	0	4
crate_with_duplicate_item_names (line 328)	0	2
crate_with_duplicate_item_names (line 337)	0	2
a (line 346)	0	2
a (line 356)	14	0
basic_impl_dup (line 367)	0	2
basic_neg_impl_dup (line 380)	0	2
line 397	0	4
line 411	0	4
line 425	0	4
line 442	0	4
line 457	26	0
nonexistant_trait (line 466)	0	4

`tests/borrowck.rs`

Test	Rules proved	Premises failed
foo (line 41)	0	11
foo (line 89)	0	12
foo (line 131)	59	0
foo (line 157)	0	11
foo (line 207)	57	0
foo (line 233)	56	0
foo (line 259)	0	11
foo (line 310)	0	12
reborrow (line 337)	69	0
foo (line 363)	0	11
foo (line 412)	60	0
foo (line 449)	0	12
foo (line 497)	0	12
foo (line 545)	0	12
foo (line 589)	0	12
foo (line 638)	0	26
foo (line 1297)	0	26
foo (line 1957)	0	25
foo (line 2026)	0	11
foo (line 2072)	0	25
foo (line 2110)	0	25
min_problem_case_3 (line 2158)	81	27
foo (line 2219)	0	25
foo (line 2263)	81	0
foo (line 2291)	0	25
foo (line 2333)	0	25
min_problem_case_3 (line 2378)	81	0
foo (line 2392)	0	19
foo (line 2414)	0	19
foo (line 2440)	63	0
foo (line 2457)	54	0
foo (line 2471)	0	16
min_problem_case_4 (line 2499)	78	0
foo (line 2635)	82	0
foo (line 2655)	0	26
foo (line 2702)	0	17
foo (line 2772)	0	27
foo (line 2828)	76	0
foo (line 2856)	49	0
foo (line 2899)	0	29
foo (line 2960)	81	27
foo (line 3024)	0	25
foo (line 3065)	65	0
bar (line 3087)	71	0
foo (line 3117)	59	0
foo (line 3142)	0	18
foo (line 3165)	57	0
bar (line 3186)	75	0
bar (line 3208)	0	27
foo (line 3240)	73	0
foo (line 3256)	0	25
foo (line 3290)	0	26
foo (line 3330)	0	25
reborrow (line 3362)	70	0
reborrow (line 3387)	79	26
reborrow (line 3436)	68	0
reborrow (line 3456)	70	0
foo (line 3484)	0	24
foo (line 3524)	68	0
foo (line 3544)	0	22
foo (line 3648)	0	24
foo (line 3676)	0	16
foo (line 3689)	66	0
remove_last_node_recursive (line 3808)	88	0
remove_last_node_iterative (line 3855)	89	24
no_control_flow (line 3917)	86	0
conditional (line 3967)	89	30
conditional_with_indirection (line 4056)	97	0
to_refs (line 4108)	86	0
to_refs2 (line 4143)	87	0
to_refs3 (line 4190)	87	0
next (line 4233)	93	32
next (line 4356)	98	32
use_it (line 4472)	67	19
use_both (line 4503)	0	19
use_it_but_its_the_same_region (line 4537)	72	0

`tests/codegen.rs`

Test	Rules proved	Premises failed
main (line 11)	42	0
main (line 24)	44	0
main (line 36)	53	0
main (line 49)	55	0
main (line 64)	57	0
main (line 79)	57	0
main (line 95)	55	0
main (line 110)	57	0
main (line 127)	55	0
main (line 141)	60	0
main (line 171)	53	0
main (line 188)	57	0
main (line 201)	57	0
main (line 218)	57	0
main (line 238)	59	0
main (line 251)	58	0
main (line 264)	60	0
main (line 318)	60	0
main (line 336)	46	0
main (line 356)	51	0
main (line 377)	61	0
main (line 443)	59	0
main (line 461)	60	0
main (line 477)	44	0

`tests/coherence_orphan.rs`

Test	Rules proved	Premises failed
neg_CoreTrait_for_CoreStruct_in_Foo (line 13)	0	11
mirror_CoreStruct (line 48)	0	12
mirror_FooStruct (line 85)	35	0
covered_VecT (line 99)	26	0
raw_pointer_is_not_fundamental (line 112)	0	10
uncovered_T (line 134)	0	11
alias_to_unit (line 161)	0	11
CoreTrait_for_CoreStruct_in_Foo (line 183)	0	11
CoreTraitLocal_for_AliasToKnown_in_Foo (line 221)	36	0

`tests/coherence_overlap.rs`

Test	Rules proved	Premises failed
u32_not_u32_impls (line 129)	0	4
neg_CoreTrait_for_CoreStruct_implies_no_overlap (line 148)	33	0
foo_crate_cannot_assume_CoreStruct_does_not_impl_CoreTrait (line 162)	0	3
T_where_Foo_not_u32_impls (line 175)	0	4
u32_T_where_T_Is_impls (line 190)	0	3
u32_T_where_T_Not_impls (line 207)	26	0
u32_u32_impls (line 217)	0	2
u32_i32_impls (line 230)	19	0
u32_T_impls (line 240)	0	3
T_and_T_bar (line 258)	0	3
T_and_Local_Bar_T (line 278)	0	3
is_local_unknowable_trait_ref (line 308)	35	0
is_local_with_unconstrained_self_ty_blanket_impl (line 334)	0	3

`tests/const_generics_rv_tsv_parse.rs`

Test	Rules proved	Premises failed
parse_minirust_22 (line 12)	35	0

`tests/consts.rs`

Test	Rules proved	Premises failed
nonsense_rigid_const_bound (line 11)	34	0
ok (line 23)	35	0
mismatch (line 32)	0	12
holds (line 49)	35	0
rigid_const_bound (line 58)	34	0
generic_mismatch (line 68)	0	15
generic_match (line 92)	35	0
multiple_type_of_const (line 101)	33	0

`tests/decl_safety.rs`

Test	Rules proved	Premises failed
unsafe_trait (line 13)	32	0
safe_trait (line 24)	32	0
unsafe_trait_negative_impl (line 36)	37	0
unsafe_trait_negative_impl_mismatch (line 59)	0	4
safe_trait_negative_impl_mismatch (line 84)	0	4
unsafe_trait_mismatch (line 111)	0	5
safe_trait_mismatch (line 138)	0	5

`tests/drop.rs`

Test	Rules proved	Premises failed
drop_impl_simple_struct (line 20)	38	0
drop_impl_generic_struct (line 38)	40	0
drop_impl_generic_no_where_clauses (line 54)	37	0
drop_impl_subset_where_clauses (line 78)	38	0
drop_impl_enum (line 94)	37	0
drop_impl_cross_crate_local (line 111)	38	0
drop_impl_extra_where_clause (line 132)	0	9
drop_impl_concrete_type_param (line 154)	0	13
drop_impl_enum_extra_where_clause (line 191)	0	9
drop_impl_foreign_adt (line 214)	0	4
drop_impl_for_non_adt (line 227)	0	4

`tests/field_projections.rs`

Test	Rules proved	Premises failed
test (line 17)	60	0

`tests/functions.rs`

Test	Rules proved	Premises failed
line 25	37	0
line 39	38	0

`tests/judgment-error-reporting/cyclic_judgment.rs`

Test	Rules proved	Premises failed
test (line 73)	0	3
test1 (line 133)	0	4

`tests/mir_typeck.rs`

Test	Rules proved	Premises failed
foo (line 14)	49	0
foo (line 37)	48	0
foo (line 93)	49	0
foo (line 110)	55	0
foo (line 123)	44	0
foo (line 140)	52	0
foo (line 168)	0	15
bar (line 193)	54	0
foo (line 214)	49	0
foo (line 259)	61	0
foo (line 276)	46	0
foo (line 321)	0	14
bar (line 345)	0	14
bar (line 392)	0	17
bar (line 416)	0	14
bar (line 439)	54	0
bar (line 488)	0	17
bar (line 532)	0	11
bar (line 568)	0	12
foo (line 601)	0	14
foo (line 791)	0	11
foo (line 820)	0	11
foo (line 848)	0	17
foo (line 876)	0	11
foo (line 899)	52	0
foo (line 923)	57	0
foo (line 941)	67	0
foo (line 961)	61	0
foo (line 988)	48	0
foo (line 1020)	0	11
foo (line 1047)	48	0
foo (line 1083)	0	10
foo (line 1116)	66	0
foo (line 1142)	46	0

`tests/projection.rs`

Test	Rules proved	Premises failed
normalize_basic (line 25)	11	0
normalize_basic (line 31)	11	0
normalize_basic (line 36)	5	0
normalize_basic (line 44)	7	0
normalize_basic (line 50)	4	0
normalize_basic (line 55)	11	0
normalize_into_iterator (line 89)	11	0
projection_equality (line 112)	10	0
projection_equality (line 115)	12	0

`tests/references.rs`

Test	Rules proved	Premises failed
line 13	0	12
line 36	29	0

`tests/return_validation.rs`

Test	Rules proved	Premises failed
foo (line 33)	40	0
foo (line 51)	52	0
foo (line 84)	42	0
foo (line 118)	48	0
foo (line 132)	44	0

`tests/traits.rs`

Test	Rules proved	Premises failed
line 14	14	0
trait_with_valid_associated_type (line 28)	8	0

`tests/well_formed_struct.rs`

Test	Rules proved	Premises failed
main (line 17)	65	0

`tests/well_formed_trait_ref.rs`

Test	Rules proved	Premises failed
dependent_where_clause (line 19)	38	0
missing_dependent_where_clause (line 37)	0	10
lifetime_param (line 56)	36	0
static_lifetime_param (line 71)	37	0
const_param (line 86)	40	0

Keyboard shortcuts

A MIR Formality