{"ast_node_type":"variable","tokens":[{"end":69,"kind":"keyword","start":0,"text":"let"}]}
        let trait_: hir_def::TraitId = from_chalk_trait_id(trait_id);
        debug!("impls_for_trait {:?}", trait_id);