{"ast_node_type":"variable","tokens":[{"end":97,"kind":"keyword","start":0,"text":"let"}]}
    let Ok((trait_bounds, impl_bounds)) = infcx.fully_resolve((trait_bounds, impl_bounds)) else {
    // Resolve any lifetime variables that may have been introduced during normalization.
        // If resolution didn't fully complete, we cannot continue checking RPITIT refinement, and