Skip to content

Classes: make sure cross-crate casting works #2285

Closed
@catamorphism

Description

@catamorphism

That is, if class C implements D appears in crate foo, importing foo::C in crate bar should mean we can cast C to D.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-linkageArea: linking into static, shared libraries and binariesA-type-systemArea: Type system

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions