Explain the currently necessary existance of `TransmuteSizeDiff`

1 files changed, 4 insertions, 0 deletions

diff --git a/src/librustc_mir/interpret/place.rs b/src/librustc_mir/interpret/place.rs
index 50953348fdc..b384de571fa 100644
--- a/src/librustc_mir/interpret/place.rs
+++ b/src/librustc_mir/interpret/place.rs
@@ -924,6 +924,10 @@ where
         }
         // We still require the sizes to match.
         if src.layout.size != dest.layout.size {
+            // FIXME: This should be an assert instead of an error, but if we transmute within an
+            // array length computation, `typeck` may not have yet been run and errored out. In fact
+            // most likey we *are* running `typeck` right now. Investigate whether we can bail out
+            // on `typeck_tables().has_errors` at all const eval entry points.
             error!("Size mismatch when transmuting!\nsrc: {:#?}\ndest: {:#?}", src, dest);
             throw_unsup!(TransmuteSizeDiff(src.layout.ty, dest.layout.ty));
         }