{"ast_node_type":"variable","tokens":[{"end":55,"kind":"keyword","start":0,"text":"let"}]}
    let impl_ct_def_id = impl_ct.def_id.expect_local();
) -> Result<(), ErrorGuaranteed> {
    let impl_ct_span = tcx.def_span(impl_ct_def_id);