array.rs

#![feature(no_core)]
#![no_std]
#![no_core]
#![feature(fundamental)]
#![feature(lang_items)]
#![feature(optin_builtin_traits)]


trait MyTrait {
    fn default() -> Self;
}

#[lang = "sized"]
#[fundamental]
pub trait Sized {
}


#[lang = "freeze"]
pub(crate) unsafe auto trait Freeze {}

impl<T> MyTrait for [T; 1] where T: MyTrait {
    fn default() -> [T; 1] {
        loop {}
    }
}


fn main() {}

gistfile1.txt

rustc +stage1 -C incremental=true array.rs