Какого «такого странного»?

Вроде выглядит норм

специально run написал
никого не смущает передача аргумента в компаньён из конструктора класса?
если посмотреть, то в конструкторе компаньёна доступен компаньён
а следоватльно, такое валится на рантайме

Это стандартная проблема конструкторов и порядка инициализации.
В Расте починена удалением конструкторов.

вопрос в том, почему это не отлавливается компилятором?
по мне, это достаточно простаю issue
передача аргумента из класса в конструктор компаньёна
заодно и падает с очень крутой ошибкой

Exception in thread "main" java.lang.VerifyError: Bad type on operand stack
Exception Details:
  Location:
    dev/whyoleg/kamp/Test$Companion.<init>()V @2: checkcast
  Reason:
    Type uninitializedThis (current frame, stack[1]) is not assignable to 'java/lang/Object'
  Current Frame:
    bci: @2
    flags: { flagThisUninit }
    locals: { uninitializedThis }
    stack: { uninitializedThis, uninitializedThis }
  Bytecode:
    0x0000000: 2a2a c000 02b6 000a b700 0db1

Exception in thread "main" java.lang.VerifyError: Bad type on operand stack
Exception Details:
  Location:
    dev/whyoleg/kamp/Test$Companion.<init>()V @2: checkcast
  Reason:
    Type uninitializedThis (current frame, stack[1]) is not assignable to 'java/lang/Object'
  Current Frame:
    bci: @2
    flags: { flagThisUninit }
    locals: { uninitializedThis }
    stack: { uninitializedThis, uninitializedThis }
  Bytecode:
    0x0000000: 2a2a c000 02b6 000a b700 0db1

Потому что внутри лямбды, передаваемой в run, есть this: Test.Companion, а онформации о том, что он недоинициализирован, нет.

А что там string делает?

да даже если убрать run и передавать напрямую, результат тот же
я бы создал issue, если такой нет

Это хорошая идея

да в общем, случайно написал такой код (понятное дело, что это упрощённый вариант)

Я у Миши спрашиваю, который, похоже, понимает, что происходит. Потому что меня тоже эта штука удивила.

А вот это уже вполне починяемый баг.
Я заводил как-то похожий, тоже про недоинициализацию — class A : B { constructor() : super(return) {} }

здесь — уже не понимаю, выглядит так, будто часть проверок просто не выполняются

Вообще string не должен быть виден там, ведь компаньон не видит полей класса

Чур кто нашёл, тот и идёт на kotl.in/issue :D

а это его собственное поле, this.string, он же сам тоже Test

именно это я и хотел увидеть)
а не падение в рантайме :(

сейчас поищу, не верю, что я первый

Нет, там же написано, что this это компаньон

Аа