there is no 'align_of_val' intrinsic

RalfJung · RalfJung · commit 2a3ce5d618d8 · 2020-04-12T11:04:18.000+02:00
diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
@@ -444,10 +444,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
                 }
             }
 
-            #[rustfmt::skip]
-            | "min_align_of_val"
-            | "align_of_val"
-            => {
+            "min_align_of_val" => {
                 let mplace = this.deref_operand(args[0])?;
                 let (_, align) = this
                     .size_and_align_of_mplace(mplace)?

Original file line number	Diff line number	Diff line change
`@@ -444,10 +444,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx`
`444`	`444`	`}`
`445`	`445`	`}`
`446`	`446`
`447`		`- #[rustfmt::skip]`
`448`		`- \| "min_align_of_val"`
`449`		`- \| "align_of_val"`
`450`		`- => {`
	`447`	`+ "min_align_of_val" => {`
`451`	`448`	`let mplace = this.deref_operand(args[0])?;`
`452`	`449`	`let (_, align) = this`
`453`	`450`	`.size_and_align_of_mplace(mplace)?`