Skip to content

alias bound is more powerful #8

New issue
New issue
Open
Open
alias bound is more powerful#8
Labels
A-deferred-projection-equalityS-increased-expressiveness
@lcnr

Description

@lcnr
lcnr
opened on Feb 17, 2023

TODO: figure out how this impacts type inference and what not

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-deferred-projection-equalityS-increased-expressiveness

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions