flux_refineck::checker

Function bool_int_cast

Source 
fn bool_int_cast(b: &Expr, int_ty: IntTy) -> Ty