@abreslav Hey, do you think there could be any other points to https://youtrack.jetbrains.com/issue/KT-13265 which is the whole copying annotation thing?