---

yaml
---
r: 13366
b: refs/heads/master
c: f12adcb
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 75d9ec100b8f1483e18877b53d578c2aea265480
+refs/heads/master: f12adcbf930122ef6d98790b53d80d511dc62406
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/libcore/unsafe.rs

@@ -1,6 +1,6 @@
 #[doc = "Unsafe operations"];
 
-export reinterpret_cast, forget;
+export reinterpret_cast, forget, transmute;
 
 #[abi = "rust-intrinsic"]
 native mod rusti {
@@ -27,11 +27,38 @@ reinterpret_cast on managed pointer types.
 #[inline(always)]
 unsafe fn forget<T>(-thing: T) { rusti::forget(thing); }
 
+#[doc = "
+Transform a value of one type into a value of another type.
+Both types must have the same size and alignment.
+
+# Example
+
+    assert transmute(\"L\") == [76u8, 0u8];
+"]
+unsafe fn transmute<L, G>(-thing: L) -> G {
+    let newthing = reinterpret_cast(thing);
+    forget(thing);
+    ret newthing;
+}
+
 #[cfg(test)]
 mod tests {
 
     #[test]
     fn test_reinterpret_cast() unsafe {
         assert reinterpret_cast(1) == 1u;
     }
+
+    #[test]
+    fn test_transmute() unsafe {
+        let x = @1;
+        let x: *int = transmute(x);
+        assert *x == 1;
+        let _x: @int = transmute(x);
+    }
+
+    #[test]
+    fn test_transmute2() unsafe {
+        assert transmute("L") == [76u8, 0u8];
+    }
 }