Method pullCast

src/main/java/wyil/check/FlowTypeCheck.java:2165–2175

(Expr.Cast expr, Typing typing, Environment environment)

	}

	private Typing pullCast(Expr.Cast expr, Typing typing, Environment environment) {
		// >>> Propagate forwards into children
		typing = pullExpression(expr.getOperand(), true, typing, environment);
		int src = typing.top();
		// Check cast makes sense
		Typing nTyping = typing.filter(r -> isSensibleCast(expr.getType(), r.get(src), environment));
		// Report errors
		checkForError(expr.getOperand(), typing, nTyping, expr.getType(), src);
		// <<< Propagate backwards into parent
		return nTyping.map(row -> row.add(expr.getType()));
	}

	private Typing pullConditionExpression(Expr expr, Typing typing, Environment environment) {
		// Check condition