Function check_constant_expr 

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