Function conv_constant_expr

pub(crate) fn conv_constant_expr(
    genv: GlobalEnv<'_, '_>,
    _def_id: DefId,
    expr: &Expr<'_>,
    sort: Sort,
    wfckresults: &WfckResults,
) -> QueryResult<ConstantInfo>