7778798081828384858687
return declaredType; } if(patternVars != null && patternVars.containsKey(name)){ Type ot = patternVars.get(name).getType(); if(ot.compareTo(declaredType) < 0) declaredType = ot; } return declaredType; }