Function node_produces_value 

pub fn node_produces_value(node: &Node) -> bool

Whether evaluating a node leaves a value for its surrounding block.

This is the shared AST contract used by both the type checker and compiler: a false result means block evaluation supplies nil, while a true result whose type cannot be inferred remains gradual rather than becoming nil.