<@U0ANSGGVC>: Yes, it's possible. Just a fun fact ...
# language-proposals
d
@kirillrakhman: Yes, it's possible. Just a fun fact about type aliases as type macros:
Copy code
typealias M<T> = Map<T, T>
fun <T> foo(m: M<T>) { ... }
fun bar(m: M<*>) { foo(m) /* compilation error */ }