Merge pull request #151 from euclio/check-panic

Check exit code for ICE directly

Author: steveklabnik

src/13368.rs

@@ -1,4 +1,7 @@
+#![feature(intrinsics)]
+
 use std::mem;
+
 fn main() {
     let _: unsafe extern "rust-intrinsic" fn(isize) -> usize = mem::transmute;
 }

src/15694.rs

@@ -1,7 +1,8 @@
 #![no_std]
-#![feature(box_syntax,unique)]
-#![feature(no_std,lang_items)]
+#![feature(box_syntax)]
+#![feature(lang_items, ptr_internals)]
 
+use core::panic::PanicInfo;
 use core::ptr::Unique;
 
 #[lang="owned_box"]
@@ -16,4 +17,6 @@ fn main() {
 
 #[lang = "exchange_malloc"] extern fn exchange_malloc() {}
 #[lang = "eh_personality"] extern fn eh_personality() {}
-#[lang = "panic_fmt"] fn panic_fmt() -> ! { loop{} }
+
+#[panic_handler]
+fn panic(info: &PanicInfo) -> ! { loop {} }

src/16812_1.rs

@@ -1,10 +1,26 @@
-#![feature(unboxed_closures)]
+#![feature(fn_traits, unboxed_closures)]
 
 struct A;
 impl A {
-    extern "rust-call" fn b() {}
+    extern "rust-call" fn foo() {}
+}
+
+trait T {
+    extern "rust-call" fn foo(i: i32) {}
+}
+
+struct B;
+
+impl T for B {}
+
+struct C;
+
+impl FnOnce<i64> for C {
+    type Output = ();
+    extern "rust-call" fn call_once(mut self, _: i64) {}
 }
 
 fn main () {
-    A::b();
+    A::foo();
+    <B as T>::foo(10);
 }