From 867194ee7dcd15b7bcc5f98ea685a0cf6c23cbd9 Mon Sep 17 00:00:00 2001 From: Yuki Okushi Date: Thu, 28 Apr 2022 03:37:12 +0900 Subject: [PATCH] Remove issue-95303 as duplicate --- ices/95303.sh | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100755 ices/95303.sh diff --git a/ices/95303.sh b/ices/95303.sh deleted file mode 100755 index 5233912d..00000000 --- a/ices/95303.sh +++ /dev/null @@ -1,21 +0,0 @@ -rustc --crate-type lib - 2>&1 << EOF - - -#![feature(no_core)] -#![feature(lang_items)] - -#![no_core] - -#[no_mangle] -pub fn add(a: u32) -> u32 { - a -} - -#[lang = "sized"] -pub trait Sized {} - -#[lang = "copy"] -pub trait Copy {} - - -EOF