Method pushCast

src/main/java/wyil/check/FlowTypeCheck.java:1607–1621

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

	}

	private Typing pushCast(int var, Expr.Cast expr, Typing typing, Environment environment) {
		// Filter target type
		Typing nTyping = typing.map(row -> filterOnSubtype(row, var, expr.getType(), environment));
		// Sanity check typing
		checkForError(expr, typing, nTyping, var, expr.getType());
		// <<< Propagate backwards from children
		nTyping = pullExpression(expr.getOperand(), true, nTyping, environment);
		int src = nTyping.top();
		// Check cast makes sense
		Typing nnTyping = nTyping.filter(r -> isSensibleCast(expr.getType(), r.get(src), environment));
		// Report errors
		checkForError(expr.getOperand(), nTyping, nnTyping, expr.getType(), src);
		// Done
		return nnTyping;
	}

	private Typing pushConditionExpression(int var, Expr expr, Typing typing, Environment environment) {
		// Filter target type