See https://github.com/thepowersgang/mrustc/archive/v0.8.0.tar.gz

--- rustc-1.19.0-src-orig/src/libcore/intrinsics.rs
+++ rustc-1.19.0-src/src/libcore/intrinsics.rs
@@ -678,5 +678,9 @@
     pub fn min_align_of_val<T: ?Sized>(_: &T) -> usize;
 
+    /// Obtain the length of a slice pointer
+    #[cfg(rust_compiler="mrustc")]
+    pub fn mrustc_slice_len<T>(pointer: *const [T]) -> usize;
+
     /// Gets a static string slice containing the name of a type.
     pub fn type_name<T: ?Sized>() -> &'static str;

--- rustc-1.19.0-src-orig/src/libcore/slice/mod.rs
+++ rustc-1.19.0-src/src/libcore/slice/mod.rs
@@ -413,6 +413,8 @@
     #[inline]
     fn len(&self) -> usize {
-        unsafe {
-            mem::transmute::<&[T], Repr<T>>(self).len
-        }
+        #[cfg(not(rust_compiler="mrustc"))]
+        let rv = unsafe { mem::transmute::<&[T], Repr<T>>(self).len };
+        #[cfg(rust_compiler="mrustc")]
+        let rv = unsafe { ::intrinsics::mrustc_slice_len(self) };
+        rv
     }
ble>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=e1f8802dc1f2e4fb7f58958925af15a1191d4789'>refs</a><a class='active' href='/guix/log/gnu/packages/acct.scm'>log</a><a href='/guix/tree/gnu/packages/acct.scm?id=e1f8802dc1f2e4fb7f58958925af15a1191d4789'>tree</a><a href='/guix/commit/gnu/packages/acct.scm?id=e1f8802dc1f2e4fb7f58958925af15a1191d4789'>commit</a><a href='/guix/diff/gnu/packages/acct.scm?id=e1f8802dc1f2e4fb7f58958925af15a1191d4789'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/acct.scm'>
<input type='hidden' name='id' value='e1f8802dc1f2e4fb7f58958925af15a1191d4789'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=e1f8802dc1f2e4fb7f58958925af15a1191d4789'>root</a>/<a href='/guix/log/gnu?id=e1f8802dc1f2e4fb7f58958925af15a1191d4789'>gnu</a>/<a href='/guix/log/gnu/packages?id=e1f8802dc1f2e4fb7f58958925af15a1191d4789'>packages</a>/<a href='/guix/log/gnu/packages/acct.scm?id=e1f8802dc1f2e4fb7f58958925af15a1191d4789'>acct.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/acct.scm?id=e1f8802dc1f2e4fb7f58958925af15a1191d4789&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>