flux_refineck::checker

Function bool_uint_cast

Source 
fn bool_uint_cast(b: &Expr, uint_ty: UintTy) -> Ty