Skip to content

Ensure that Arbitrary respects Invariant somehow #3265

@adpaco-aws

Description

@adpaco-aws

The #[derive(Invariant)] macro introduced in #3250 allows the derived Arbitrary to generate values which don't respect the invariant, as explained in this comment. We should figure how to check for these cases, although that might become clearer once we've finished adding the remaining features for type invariant.

Metadata

Metadata

Assignees

No one assigned

    Labels

    [C] Feature / EnhancementA new feature request or enhancement to an existing feature.[E] User ExperienceAn UX enhancement for an existing feature. Including deprecation of an existing one.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions