Function check_constant_expr

pub(crate) fn check_constant_expr(
    genv: GlobalEnv<'_, '_>,
    owner: OwnerId,
    expr: &Expr<'_>,
    sort: &Sort,
) -> Result<WfckResults, ErrorGuaranteed>