5be153cd65
Review: https://jetbrains.team/p/kt/reviews/7652 Put this change into a separate commit because: 1. The change is boring and clutters the diff of the first commit 2. The first commits is already too big