Skip to content

Commit

Permalink
Update src/librustc_mir/interpret/intern.rs
Browse files Browse the repository at this point in the history
Co-Authored-By: Ralf Jung <post@ralfj.de>
  • Loading branch information
oli-obk and RalfJung committed Jan 15, 2020
1 parent eadfd63 commit b2c43dc
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/librustc_mir/interpret/intern.rs
Expand Up @@ -361,7 +361,8 @@ pub fn intern_const_alloc_recursive<M: CompileTimeMachine<'mir, 'tcx>>(
// 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.
// be created from an immutable reference (and promotion also excludes interior
// mutability), 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 => {
Expand Down

0 comments on commit b2c43dc

Please sign in to comment.