Search results

Check that predicate is not always false

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

Task

#26 In x52dev/contracts;

· EmmanuelMess opened on Jul 5, 2025

clippy reports unused imports when using both requires and ensures

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#9 In x52dev/contracts;

· robjtede opened on May 2, 2025

Lifetime elision causes code to stop compiling

Status: Open.

#6 In x52dev/contracts;

· robjtede opened on May 2, 2025

Better error messages on contract failure

Status: Open.

#4 In x52dev/contracts;

· robjtede opened on May 2, 2025

Better error messages at compile time

Status: Open.

#3 In x52dev/contracts;

· robjtede opened on May 2, 2025

Add an alternative way to represent trait contracts

Status: Open.

#2 In x52dev/contracts;

· robjtede opened on May 2, 2025

Apply invariants on constructor-like functions

Status: Open.

#1 In x52dev/contracts;

· robjtede opened on May 2, 2025