Function constrain_boolean_outcome 

fn constrain_boolean_outcome(
    hir: &Hir<'_>,
    expr: &Expr<'_>,
    outcome: bool,
    state: &mut FlowState,
) -> bool