Let type_is_integral return false for bool type

This commit is contained in:
Seo Sanghyeon 2013-02-04 23:01:47 +09:00
parent 9556629da2
commit 6d5428cb4e
2 changed files with 4 additions and 1 deletions

View File

@ -2435,7 +2435,7 @@ pub fn type_structurally_contains_uniques(cx: ctxt, ty: t) -> bool {
pub fn type_is_integral(ty: t) -> bool {
match get(ty).sty {
ty_infer(IntVar(_)) | ty_int(_) | ty_uint(_) | ty_bool => true,
ty_infer(IntVar(_)) | ty_int(_) | ty_uint(_) => true,
_ => false
}
}

View File

@ -0,0 +1,3 @@
fn main() {
-true; //~ ERROR cannot apply unary operator `-` to type `bool`
}