THashMap<TMetaVar,Type> unifications = new THashMap<TMetaVar,Type>();
Type requiredType = getType();
if(DEBUG)
THashMap<TMetaVar,Type> unifications = new THashMap<TMetaVar,Type>();
Type requiredType = getType();
if(DEBUG)
context.getErrorLog().log(location, getAmbiguousDescription(getType()));
return this;
}
}
public void assertResolved(ErrorLog errorLog) {
context.getErrorLog().log(location, getAmbiguousDescription(getType()));
return this;
}
}
public void assertResolved(ErrorLog errorLog) {