{"ast_node_type":"variable","tokens":[{"end":26,"kind":"keyword","start":0,"text":"let"}]}
    let tcx = checker.tcx;
) -> Result<(), ErrorGuaranteed> {
    let self_ty = tcx.impl_trait_ref(checker.impl_def_id).unwrap().instantiate_identity().self_ty();