2010-02-16から1日間の記事一覧
class C[covariant label L1,covariant label L2] { } class Tester[label l1,label l2,label l3,label l4,label l5,label l6] { void test() { C[l1,l3]{l5} c1 = null; C[l2,l4]{l6} c2 = null; if(l1 <= l2 && l3 <= l4 && l5 <= l6){ c2 = c1; } } } thi…