Skip to content

Condition module shouldn't require copyable types #3937

Closed
@ghost

Description

Throughout the new condition module, the type parameter U is bounded by Copy. Is this restriction necessary? It's preventing me from using the condition system with a function that returns a struct containing owned pointers without a bunch of type parameter instantiation warnings.

The type parameter V on the in method of Trap has the same restriction.

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-enhancementCategory: An issue proposing an enhancement or a PR with one.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions