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
     }
'tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=b45acc342e883c04b1c7a4d9ab74c40a7ae4acbc'>refs</a><a class='active' href='/guix/log/tests/ui.scm'>log</a><a href='/guix/tree/tests/ui.scm?id=b45acc342e883c04b1c7a4d9ab74c40a7ae4acbc'>tree</a><a href='/guix/commit/tests/ui.scm?id=b45acc342e883c04b1c7a4d9ab74c40a7ae4acbc'>commit</a><a href='/guix/diff/tests/ui.scm?id=b45acc342e883c04b1c7a4d9ab74c40a7ae4acbc'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/tests/ui.scm'>
<input type='hidden' name='id' value='b45acc342e883c04b1c7a4d9ab74c40a7ae4acbc'/><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=b45acc342e883c04b1c7a4d9ab74c40a7ae4acbc'>root</a>/<a href='/guix/log/tests?id=b45acc342e883c04b1c7a4d9ab74c40a7ae4acbc'>tests</a>/<a href='/guix/log/tests/ui.scm?id=b45acc342e883c04b1c7a4d9ab74c40a7ae4acbc'>ui.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/tests/ui.scm?id=b45acc342e883c04b1c7a4d9ab74c40a7ae4acbc&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2017-05-10 22:05:21 +0200'>2017-05-10</span></td><td><a href='/guix/commit/tests/ui.scm?id=30d2397f73d6fa9e77eed70ec6df8afd3b9f5f5e'>ui: 'string-&gt;duration' correctly handles hours.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2017-03-08 23:42:53 +0100'>2017-03-08</span></td><td><a href='/guix/commit/tests/ui.scm?id=1062063a65036f32a061c54866d33ffe079ec44e'>ui: Don't use '%default-port-encoding' to set the encoding of string ports.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>