{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":".tcx"}]}
                            .tcx
                        self.infcx
                            .short_string(clause.self_ty().skip_binder(), &mut err.long_ty_path()),