mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Clean up comment

Browse Source
This commit is contained in:
Oliver Scherer 2020-01-09 17:14:54 +01:00
parent 1ea44663c5
commit eadfd63e3f
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/librustc_mir/interpret/intern.rs
View File

@ -358,12 +358,12 @@ pub fn intern_const_alloc_recursive<M: CompileTimeMachine<'mir, 'tcx>>(
alloc.mutability = Mutability::Not;
}
// Raw pointers in promoteds may only point to immutable things so we mark
// everything as immutable. Creating a promoted with interior mutability is UB, but
// there's no way we can check whether the user is using raw pointers correctly.
// So all we can do is mark this as immutable here.
// everything as immutable.
// It is UB to mutate through a raw pointer obtained via an immutable reference.
// Since all references and pointers inside a promoted must by their very definition
// be created from an immutable reference, mutating though them would be UB.
// There's no way we can check whether the user is using raw pointers correctly,
// so all we can do is mark this as immutable here.
InternKind::Promoted => {
alloc.mutability = Mutability::Not;
}
@ -394,7 +394,7 @@ pub fn intern_const_alloc_recursive<M: CompileTimeMachine<'mir, 'tcx>>(
// We have hit an `AllocId` that belongs to an already interned static,
// and are thus not interning any further.
// E.g. this should be unreachable for `InternKind::Promoted` except for allocations
// For `InternKind::Promoted` this is only reachable for allocations
// created for string and byte string literals, since these are interned immediately
// at creation time.