pub fn is_bool(ty: &Ty<'_>) -> bool