Method pushNew

src/main/java/wyil/check/FlowTypeCheck.java:1843–1852

(int var, Expr.New expr, Typing typing, Environment environment)

	}

	private Typing pushNew(int var, Expr.New expr, Typing typing, Environment environment) {
		// Allocate a finaliser for this expression
		typing.register(typeStandardExpression(expr, var));
		// Split out incoming array types
		Typing nTyping = typing.project(row -> forkOnReference(row, var, environment));
		// Report errors
		checkForError(expr, typing, nTyping, var, getNaturalType(expr, environment));
		// >>> Propagate forwards into children
		return pushExpression(expr.getOperand(), r -> getReferenceElement(r.get(var)), nTyping, environment);
	}

	private Typing pushOld(int var, Expr.Old expr, Typing typing, Environment environment) {
		// Allocate a finaliser for this expression