Diagnostics from MySealedClass.kt:
  <NO DIAGNOSTICS>

Diagnostics from main.kt:
  <NO DIAGNOSTICS>
