diff --git a/src/librustc/middle/trans/adt.rs b/src/librustc/middle/trans/adt.rs index e62e3563a0a2..4d8e0145901d 100644 --- a/src/librustc/middle/trans/adt.rs +++ b/src/librustc/middle/trans/adt.rs @@ -298,9 +298,8 @@ impl Case { for (i, &ty) in self.tys.iter().enumerate() { match ty::get(ty).sty { - // &T/&mut T/*T could either be a thin or fat pointer depending on T - ty::ty_rptr(_, ty::mt { ty, .. }) - | ty::ty_ptr(ty::mt { ty, .. }) => match ty::get(ty).sty { + // &T/&mut T could either be a thin or fat pointer depending on T + ty::ty_rptr(_, ty::mt { ty, .. }) => match ty::get(ty).sty { // &[T] and &str are a pointer and length pair ty::ty_vec(_, None) | ty::ty_str => return Some(FatPointer(i, slice_elt_base)), diff --git a/src/test/run-pass/enum-null-pointer-opt.rs b/src/test/run-pass/enum-null-pointer-opt.rs index bd9dfc1e4490..433c3b542247 100644 --- a/src/test/run-pass/enum-null-pointer-opt.rs +++ b/src/test/run-pass/enum-null-pointer-opt.rs @@ -37,4 +37,9 @@ fn main() { assert_eq!(size_of::>(), size_of::>>()); assert_eq!(size_of::>(), size_of::>>()); + + // The optimization can't apply to raw pointers + assert!(size_of::>() != size_of::<*const int>()); + assert!(Some(0 as *const int).is_some()); // Can't collapse None to null + }