{"ast_node_type":"variable","tokens":[{"end":76,"kind":"keyword","start":0,"text":"let"}]}
    let predicate = |pred: &_, ctx: &mut TyLoweringContext<'_>| match pred {
    // we have to filter out all other predicates *first*, before attempting to lower them
        WherePredicate::ForLifetime { target, bound, .. }