Skip to content

unsound issues fun time #125

New issue
New issue
Open
Open
unsound issues fun time#125
Labels
T-typesAdd this label so rfcbot knows to poll the types teamdeep-dive-proposalProposal for a deep-dive discussion meeting
@lcnr

Description

@lcnr
lcnr
opened on Nov 6, 2023

Summary

unsoundness planning work meeting

Rationale

make progress on unblocked unsound issues

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