if let retTy = node.returnType, let last = node.body.removeLast() as? Expr { node.body.append(try solution.coerce(expr: last, to: retTy)) }
