3970 case SUPER: |
3970 case SUPER: |
3971 Si.bound = subst(Ui, A, S); |
3971 Si.bound = subst(Ui, A, S); |
3972 Si.lower = Ti.getSuperBound(); |
3972 Si.lower = Ti.getSuperBound(); |
3973 break; |
3973 break; |
3974 } |
3974 } |
3975 if (Si.bound == Si.lower) |
3975 Type tmpBound = Si.bound.hasTag(UNDETVAR) ? ((UndetVar)Si.bound).qtype : Si.bound; |
|
3976 Type tmpLower = Si.lower.hasTag(UNDETVAR) ? ((UndetVar)Si.lower).qtype : Si.lower; |
|
3977 if (!Si.bound.hasTag(ERROR) && |
|
3978 !Si.lower.hasTag(ERROR) && |
|
3979 isSameType(tmpBound, tmpLower, false)) { |
3976 currentS.head = Si.bound; |
3980 currentS.head = Si.bound; |
|
3981 } |
3977 } |
3982 } |
3978 currentA = currentA.tail; |
3983 currentA = currentA.tail; |
3979 currentT = currentT.tail; |
3984 currentT = currentT.tail; |
3980 currentS = currentS.tail; |
3985 currentS = currentS.tail; |
3981 } |
3986 } |