Skip to content

Add diagnostic when a trampoline for a special function contains generic adapters #242

@PathogenDavid

Description

@PathogenDavid

Generic adapters cannot be properly emitted for special functions (IE: constructors, operator overloads -- Technically operator overloads are OK today but only because we don't actually emit them as operator overloads.)

In the future we might emit these as factory methods instead.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Area-TrampolinesIssues concerning the trampolines APIArea-VerificationIssues concerning verification of the model before output generation

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions