Skip to content

Orphan rules in coherence do not account for multidispatch #18222

Closed
@nikomatsakis

Description

The current orphan rules orphan rulees do not account for multidispatch. They should accept an impl if at least one input type is local to the current crate. Currently they require the self type specifically to be local. This is just a simple oversight.

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions