{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                self.check_call_inputs(term, func, &sig, args, term_location, call_source);
            TerminatorKind::Assert { cond, msg, .. } => {