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