Skip to content

Comments

Fix using assert_eq#136

Open
ThomasMayerl wants to merge 13 commits intoAurel300:rewrite-2023from
ThomasMayerl:fix_assert_eq
Open

Fix using assert_eq#136
ThomasMayerl wants to merge 13 commits intoAurel300:rewrite-2023from
ThomasMayerl:fix_assert_eq

Conversation

@ThomasMayerl
Copy link

@ThomasMayerl ThomasMayerl commented Feb 13, 2026

This PR fixes #134 by requiring false as a precondition for assert_failed (similar to panic)

@HSMF
Copy link

HSMF commented Feb 16, 2026

Weirdness happens when the arguments are constants. Probably not caused by this PR though:

fn fail() {
    assert_eq!(1, 2);
}

ThomasMayerl and others added 3 commits February 18, 2026 14:39
Sorry, I didn't look at the comments properly. The `builtin_deref` unwrap should never fail
@JonasAlaif
Copy link
Collaborator

JonasAlaif commented Feb 20, 2026

@ThomasMayerl one last thing: 110 tests fail here, while only 107 fail on the main branch. Could you check the diff of failing tests and double check that there isn't a regression

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

assert_eq! does not introduce a proof obligation

4 participants