{"ast_node_type":"variable","tokens":[{"end":38,"kind":"keyword","start":0,"text":"let"}]}
    let lang_items = tcx.lang_items();
) -> Result<(), ErrorGuaranteed> {
    let checker = Checker { tcx, trait_def_id, impl_def_id, impl_header };