if (DEBUG) {
runtime.console().p(" -> ");
ast.print(result, runtime.console(), false, true, null);
runtime.console().pln();
}
t1.setTypes(result.toTuple().getTypes());
}
} else if (flatten) {
Type result = ast.flatten(t2, strict);
if (result.isError()) {