{"ast_node_type":"variable","tokens":[{"end":59,"kind":"keyword","start":0,"text":"let"}]}
    let mut clause_ty = match clause.kind().skip_binder() {
) -> Option<(ty::Clause<'tcx>, Span)> {
        ty::ClauseKind::Trait(tr) => tr.self_ty(),