Skip to content

Coinductive trait semantics and normalization #83

New issue
New issue
Open
Open
Coinductive trait semantics and normalization#83
Labels
T-typesAdd this label so rfcbot knows to poll the types teamdeep-dive-proposalProposal for a deep-dive discussion meeting
@nikomatsakis

Description

@nikomatsakis
nikomatsakis
opened on Feb 27, 2023

Summary

I'd like to alter Rust's trait matching semantics to be coinductive. The meeting would be a pre-read of a (yet to be written) RFC covering this change.

Rationale

Metadata

Metadata

Assignees

No one assigned

    Labels

    T-typesAdd this label so rfcbot knows to poll the types teamdeep-dive-proposalProposal for a deep-dive discussion meeting

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions