Skip to content

Simplify trait display for traits that have dependencies #67

Open
Feature
Open
Simplify trait display for traits that have dependencies#67
Feature
Labels
traitThe trait system provides ad hoc polymorphism
@stephanemagnenat

Description

@stephanemagnenat
stephanemagnenat
opened on Jul 17, 2025

For traits that have dependencies (see #1), only the most specific dependency can be displayed, as others are necessary implied.

Metadata

Metadata

Assignees

No one assigned

    Labels

    traitThe trait system provides ad hoc polymorphism

    Type

    Feature

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions