Type Argumentsの扱い

[junk0612]

Javaにおいて public class A<B> を考えるとき、typeは文法上Aのみである。
しかし、parse treeからunified treeに変換する過程で情報が失われてしまうので、typeをA<B>として扱ったほうが良いのではないか。