Переделывал тут недавно reatomObservable - захотел поддержать больше вариантов поведения и объявления, при этом максимально инферить типы. Но union / overload декларации для разного набора параметров все время по разному ломались. Потратил часа два. Well, go agent TDD. Написал подробные варианты и тесты к ним и попросил опус поправить. Первый раз думал минут 10, чета поправил, не заработало, остановил. Второй раз тоже самое. И чет я такой... Добавил never поля для последней перегрузки в которую сваливались все три теста и все заработало! Как я до этого допер, честно, не знаю. Но опус за двадцать минут размышлений не допер. Пойду кодекс для интереса запущу на коде до фикса... Не, этот вообще тупой, пошел делать то что четко попросил не делать.