Skip to content

Allow borrowed interface types #3040

Closed
Closed
@jruderman

Description

@jruderman

Seems weird that interface types are always reference-counted. For example, there could also be a "borrowed" variant, which contains a pointer to a borrowed object and a pointer to a vtable.

(It's possible I'm already confused about the distinction between "how the interface type is allocated" and "how the concrete type is allocated".)

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-lifetimesArea: Lifetimes / regionsA-type-systemArea: Type systemI-slowIssue: Problems and improvements with respect to performance of generated code.

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions