premise `if scalar.is_int()`

Premise at line 443. Observed failure causes: if_false.

assign-op

Line	Coverage	Source
432	1	(borrow_check_expr( env, assumptions, state, rhs, Seq(place, Assignment(place)).live_before(env, &state, places_live_on_exit), ) => (rhs_ty, state))
439	N/A	(let places_live_before_write = Assignment(place).live_before(env, &state, places_live_on_exit))
441	✗	(borrow_check_place_expr(env, assumptions, state, place) => (place, state))
442	✗	(prove_ty_is_rigid(env, assumptions, state, &place.ty) => (RigidTy { name: RigidName::ScalarId(scalar), parameters: _ }, state))
443	1	(if scalar.is_int())
444	1	(prove_assignable(env, assumptions, state, rhs_ty, &place.ty) => state)
446	2	(access_permitted(env, assumptions, state, Access::new(AccessKind::Read, place), places_live_before_write) => state)
447	1	(access_permitted(env, assumptions, state, Access::new(AccessKind::Write, place), places_live_on_exit) => state)
448	N/A	(let state = kill_loans(place, state))
		──────── ("assign-op")
450	7	(borrow_check_expr(env, assumptions, state, Expr::AssignOp { place, op: _, rhs }, places_live_on_exit) => (Ty::unit(), state))

1 test failed proving this premise:

Source location: tests/mir_typeck.rs:1586 (all coverage from this test)

fn foo() -> () {
    let x: bool = true;
    x += false;
}

Failed proof tree

Keyboard shortcuts