{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"b,"}]}
                        b,
                        Ty::new_opaque(self.tcx, a.def_id.to_def_id(), a.args),
                    )?