{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            db.monomorphized_mir_body(c.into(), subst, db.trait_environment(c.into()))?
        GeneralConstId::StaticId(s) => {