Skip to content

Validation warning: Mark union types as experimental #674

@lars-reimann

Description

@lars-reimann

Is your feature request related to a problem?

Union types are still missing features, like resolution of member accesses. For example, a (in p.a) in the following snippet is undefined:

class C {
    attr a: Int
}

segment s (p: union<C>) {
    p.a;
}

Desired solution

Mark union types as experimental.

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

No response

Metadata

Metadata

Assignees

Labels

releasedIncluded in a release

Type

No type

Projects

Status

✔️ Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions