{"ast_node_type":"variable","tokens":[{"end":73,"kind":"keyword","start":0,"text":"let"}]}
    let (pred, binders) = pred.as_ref().into_value_and_skipped_binders();
    let self_ty_shifted_in = self_ty.clone().shifted_in_from(Interner, DebruijnIndex::ONE);
    match pred {