<@U0CHHN4F4>: for this issue <https://devnet.jetbr...

# announcements

[ylemoigne]

@ilya.chernikov: for this issue https://devnet.jetbrains.com/message/5561308?tstart=0 ; there is a KT issue https://youtrack.jetbrains.com/issue/KT-9218 where I’ve added information. Feel free to ask me anything which can help you to hunt the bug