Auto merge of #101522 - oli-obk:miriup, r=oli-obk
Update miri submodule fixes #101344 cc `@rust-lang/miri` r? `@ghost`
This commit is contained in:
@@ -1464,7 +1464,9 @@ impl<'tcx> Place<'tcx> {
|
|||||||
/// It's guaranteed to be in the first place
|
/// It's guaranteed to be in the first place
|
||||||
pub fn has_deref(&self) -> bool {
|
pub fn has_deref(&self) -> bool {
|
||||||
// To make sure this is not accidently used in wrong mir phase
|
// To make sure this is not accidently used in wrong mir phase
|
||||||
debug_assert!(!self.projection[1..].contains(&PlaceElem::Deref));
|
debug_assert!(
|
||||||
|
self.projection.is_empty() || !self.projection[1..].contains(&PlaceElem::Deref)
|
||||||
|
);
|
||||||
self.projection.first() == Some(&PlaceElem::Deref)
|
self.projection.first() == Some(&PlaceElem::Deref)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Submodule src/tools/miri updated: dba35d2be7...ef3f649e49
Reference in New Issue
Block a user