{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"self.obligations.push(Obligation::new("}]}
                        self.obligations.push(Obligation::new(
                        // type variables, so record an obligation.
                            self.cx(),