The future is now

This commit is contained in:
Oliver Scherer 2019-06-13 17:05:32 +02:00
parent 98bf737614
commit 5734558881

View File

@ -162,10 +162,6 @@ fn visit_primitive(&mut self, mplace: MPlaceTy<'tcx>) -> InterpResult<'tcx> {
// Check if we have encountered this pointer+layout combination before.
// Only recurse for allocation-backed pointers.
if let Scalar::Ptr(ptr) = mplace.ptr {
// In the future we will probably allow `& &mut T`, and thus will want to merge
// `mutability` with `self.mutability` to only choose `Mutable` if both are
// `Mutable`.
// We do not have any `frozen` logic here, because it's essentially equivalent to
// the mutability except for the outermost item. Only `UnsafeCell` can "unfreeze",
// and we check that in `visit_aggregate`.