validate(top == localType, parseContext = null) {
            "Local ${node.valueAstNode} has type $localType, but top of stack is $top"
        }