interpret: fix comment typo
This commit is contained in:
parent
c043085801
commit
3cb093af1f
1 changed files with 3 additions and 2 deletions
|
|
@ -647,8 +647,9 @@ impl<'rt, 'tcx, M: Machine<'tcx>> ValidityVisitor<'rt, 'tcx, M> {
|
||||||
}
|
}
|
||||||
} else {
|
} else {
|
||||||
// This is not CTFE, so it's Miri with recursive checking.
|
// This is not CTFE, so it's Miri with recursive checking.
|
||||||
// FIXME: should we also `UnsafeCell` behind shared references? Currently that is not
|
// FIXME: should we skip `UnsafeCell` behind shared references? Currently that is
|
||||||
// needed since validation reads bypass Stacked Borrows and data race checks.
|
// not needed since validation reads bypass Stacked Borrows and data race checks,
|
||||||
|
// but is that really coherent?
|
||||||
}
|
}
|
||||||
let path = &self.path;
|
let path = &self.path;
|
||||||
ref_tracking.track(place, || {
|
ref_tracking.track(place, || {
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue