Skip to content

Check that predicate is not always false #26

Open
Task
Open
Check that predicate is not always false#26
Task
Labels
enhancementNew feature or requestgood first issueGood for newcomershelp wantedExtra attention is needed
@EmmanuelMess

Description

@EmmanuelMess
EmmanuelMess
opened on Jul 5, 2025

I can literally add #[ensures(false)] and the compiler doesn't even warn. Is there a way to provide a compilation warning if the predicate is detected to be always invalid?

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestgood first issueGood for newcomershelp wantedExtra attention is needed

    Type

    Task

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions