успользующий WeakTypeTag] }
object Bar { def bar[T] = Foo.foo[T] }
Bar.bar[Int]
Оно работает. Почему? Последнии лет 5-6 я считал что так сделать нельзя, по причине того что в выражении Foo.foo[T] тип T уже неизвестен для макроса.
почему не известен? Макросу известен тип T
Generic def macro зовется, since 2.10
Ну это работает, просто в таком случае ты знаешь только, что это какой то T (по-сути Any)
Обсуждают сегодня