From 513e340bd344ee373847953baead3097f0b43815 Mon Sep 17 00:00:00 2001
From: hkalbasi <hamidrezakalbasi@protonmail.com>
Date: Tue, 14 Mar 2023 12:49:09 +0330
Subject: [PATCH] implement transmute intrinsic

---
 crates/hir-ty/src/mir/eval.rs | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/crates/hir-ty/src/mir/eval.rs b/crates/hir-ty/src/mir/eval.rs
index 7293156a978f..3001832d7953 100644
--- a/crates/hir-ty/src/mir/eval.rs
+++ b/crates/hir-ty/src/mir/eval.rs
@@ -1187,7 +1187,7 @@ impl Evaluator<'_> {
     fn exec_intrinsic(
         &self,
         as_str: &str,
-        _arg_bytes: impl Iterator<Item = Vec<u8>>,
+        mut arg_bytes: impl Iterator<Item = Vec<u8>>,
         generic_args: Substitution,
         locals: &Locals<'_>,
     ) -> Result<Vec<u8>> {
@@ -1202,6 +1202,12 @@ impl Evaluator<'_> {
                     None => return Err(MirEvalError::TypeError("size_of arg is unsized")),
                 }
             }
+            "transmute" => {
+                let Some(arg) = arg_bytes.next() else {
+                    return Err(MirEvalError::TypeError("trasmute arg is not provided"));
+                };
+                Ok(arg)
+            }
             _ => not_supported!("unknown intrinsic {as_str}"),
         }
     }