diff --git a/mini_core.rs b/mini_core.rs index 9ecfd5113fff..ca97c5cd8860 100644 --- a/mini_core.rs +++ b/mini_core.rs @@ -5,6 +5,14 @@ #[lang="sized"] pub trait Sized {} +#[lang = "unsize"] +pub trait Unsize {} + +#[lang = "coerce_unsized"] +pub trait CoerceUnsized {} + +impl<'a, 'b: 'a, T: ?Sized+Unsize, U: ?Sized> CoerceUnsized<&'a U> for &'b T {} + #[lang="copy"] pub unsafe trait Copy {}