rust/src/test/ui/error-codes/E0520.rs
2018-12-25 21:08:33 -07:00

21 lines
280 B
Rust

#![feature(specialization)]
trait SpaceLlama {
fn fly(&self);
}
impl<T> SpaceLlama for T {
default fn fly(&self) {}
}
impl<T: Clone> SpaceLlama for T {
fn fly(&self) {}
}
impl SpaceLlama for i32 {
default fn fly(&self) {}
//~^ ERROR E0520
}
fn main() {
}