comment update

ouz-a · ouz-a · commit a5054e385815 · 2021-12-14T19:29:29.000+03:00
diff --git a/compiler/rustc_const_eval/src/interpret/operator.rs b/compiler/rustc_const_eval/src/interpret/operator.rs
@@ -329,7 +329,7 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
             }
             _ if left.layout.ty.is_any_ptr() => {
                 // The RHS type must be a `pointer` *or an integer type* (for `Offset`).
-                // (This is workaround for the issue #91636)
+                // (Even when both sides are pointers, their type might differ, see issue #91636)
                 assert!(
                     right.layout.ty.is_any_ptr() || right.layout.ty.is_integral(),
                     "Unexpected types for BinOp: {:?} {:?} {:?}",

Original file line number	Diff line number	Diff line change
`@@ -329,7 +329,7 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {`
`329`	`329`	`}`
`330`	`330`	`_ if left.layout.ty.is_any_ptr() => {`
`331`	`331`	// The RHS type must be a `pointer` or an integer type (for `Offset`).
`332`		`- // (This is workaround for the issue #91636)`
	`332`	`+ // (Even when both sides are pointers, their type might differ, see issue #91636)`
`333`	`333`	`assert!(`
`334`	`334`	`right.layout.ty.is_any_ptr() \|\| right.layout.ty.is_integral(),`
`335`	`335`	`"Unexpected types for BinOp: {:?} {:?} {:?}",`