dukat
dukat copied to clipboard
Redundant type param in unrolled function
Following code:
interface MapLike<K, V> { }
interface LinkedList<T> { }
type ListOrMultiMap<K,V> = LinkedList<V> | MapLike<K, LinkedList<V>>;
declare function aliasUnionFunctionT<T>(a: ListOrMultiMap<T,String>);
is translated to:
external interface MapLike<K, V>
external interface LinkedList<T>
external fun <T> aliasUnionFunctionT(a: LinkedList<String>)
external fun <T> aliasUnionFunctionT(a: MapLike<T, LinkedList<String>>)
In first case T is redundant since it's actually unused.