{"ast_node_type":"variable","tokens":[{"end":45,"kind":"keyword","start":0,"text":"let"}]}
            let krate = s.module(db).krate();
        GeneralConstId::StaticId(s) => {
            db.monomorphized_mir_body(s.into(), subst, TraitEnvironment::empty(krate))?