Багу больше года, никто не фиксит. Вроде воспроизводится достаточно легко.

Спроси репортера @kai_neko

Ну да, ну грустно. Для 2.13 вроде -Xlint:_,-eta-sam,-multiarg-infix,-byname-implicit норм флаги. Все исключенные из-за того что дают false positive

Ситуация: в classPath добавляется scala library 2.12.12 вместо 2.12.10. Тест падает

java.lang.reflect.InvocationTargetException at NativeConstructorAccessorImpl.java:-2
            Caused by: java.lang.BootstrapMethodError at <my-file>.scala:72
                Caused by: java.lang.NoSuchMethodError at <my-file>.scala:72

Почему? Разве нет обратной совместимости?

java.lang.reflect.InvocationTargetException at NativeConstructorAccessorImpl.java:-2
            Caused by: java.lang.BootstrapMethodError at <my-file>.scala:72
                Caused by: java.lang.NoSuchMethodError at <my-file>.scala:72

сделайте чистую, не инкрементную сборку, если еще не сделали.

делал :(

c 2.12.11 трюк проходит

А что значит добавляется? Как?

проблема обнаружилась из-за апдейта другой библиотеки, стал копать зависимости, которые резолвятся на более поздние. Обнаружил, что scala-library чуть свежее

Оставил всё как есть, попробовал собрать просто с явной 2.12.12

оно, спасибо. Отпишусь туда же

^ как ни странно, помогло добавить в зависимости scala-reflect 2.12.12

@smokci @kotlin_lang

почитал её (и предшествующие ей две статьи тоже, их как раз понял на 100%), спасибо

а по вот этой статье есть вопрос, например: в этом куске статьи сказано, что вторая функция всегда будет возвращать истину. а почему?есть же конкретные типа данных, для которых можно реализовать первую функцию (func) так, что вторая theorem будет возвращать false (Int, например)

или суть как раз в том, что первую если функцию оставить полиморфной, а не конкретной, то её тело никак невозможно будет написать таким образом, чтобы theorem не обращалась в true?

и вторая (менее важная непонятка), почему в данном случае мы можем написать только одну возможную такую (как на скриншоте) функцию?

вроде как, опираясь на предыдущий пост (да и начало этого), подсчёт кол-ва уникальных функций состоит в том, чтобы возвращаемый тип возводить в принимаемый (то есть

A ^ (A + B)

должно, вроде, получиться). там, конечно, сказано "try it!", только что-то у меня ничего не получилось

в общем, буду рад если подскажете/направите

первая функция полиморфна по А, значит не обладает и не может использовать никакие знания о типе А