unit не нравится (второй вариант). Хороший же тип, вроде. То есть я не вижу принципиальной разницы между getter1 и getter2, а компилятор, судя по всему, видит. В чём она? Во втором варианте y вынес специально, подумалось, что в скобках запутался. Но если подставить, результат тот же.
А если без юнита написать — тогда работает?
В каком смысле "без юнита"? Я как раз наоборот пытаюсь задать ограничение "должен быть метод из юнита в инт".
Обсуждают сегодня