bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Auto merge of #85919 - workingjubilee:simd-ptrs-are-valid, r=petrochenkov

Browse source 
Allow raw pointers in SIMD types

Closes #85915 by loosening the strictness in typechecking and adding a test to guarantee it passes.

This still might be too strict, as references currently do pass monomorphization, but my understanding is that they are not guaranteed to be "scalar" in the same way.
This commit is contained in:
bors 2021-06-05 06:17:17 +00:00
commit 4e20754629
8 changed files with 134 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_middle/src/ty/sty.rs
View file

@ -1890,11 +1890,6 @@ impl<'tcx> TyS<'tcx> {
matches!(self.kind(), Int(ty::IntTy::Isize) | Uint(ty::UintTy::Usize))
}
#[inline]
pub fn is_machine(&self) -> bool {
matches!(self.kind(), Int(..) | Uint(..) | Float(..))
}
#[inline]
pub fn has_concrete_skeleton(&self) -> bool {
!matches!(self.kind(), Param(_) | Infer(_) | Error(_))