+ public TMetaVar resolveExistential(long loc, String name, Kind expectedKind) {
+ if(existentials == null)
+ existentials = new THashMap<String, TMetaVar>();
+ TMetaVar var = existentials.get(name);
+ if(var == null) {
+ var = Types.metaVar(expectedKind);
+ existentials.put(name, var);
+ }
+ else
+ unify(loc, var.getKind(), expectedKind);
+ return var;
+ }
+