{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// Errors indicate a malformed operand or incompatible locals list.
    ///
    pub fn ty(&self, locals: &[LocalDecl]) -> Result<Ty, Error> {