{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"GeneralConstId::ConstId(c)"}]}
        GeneralConstId::ConstId(c) => {
    let body = match def {
            db.monomorphized_mir_body(c.into(), subst, db.trait_environment(c.into()))?