Skip to content

Assigning unique to moved field results in a moved field #83

@The-Ray-Man

Description

@The-Ray-Man

The current version gives this result:
The final consume should be accepted.

class A(
    @Unique var um: B
)

class B()

fun consume(@Unique a: A) {}

fun test(@Unique a: A) {
    @Unique val x = a.um
    a.um = x
    consume(<!UNIQUENESS_VIOLATION!>a<!>)
}

Metadata

Metadata

Assignees

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