rust/tests/run-pass/specialization.rs

21 lines
371 B
Rust
Raw Normal View History

#![crate_type = "lib"]
2016-03-28 18:59:48 -05:00
#![feature(custom_attribute, specialization)]
#![allow(dead_code, unused_attributes)]
trait IsUnit {
fn is_unit() -> bool;
}
impl<T> IsUnit for T {
default fn is_unit() -> bool { false }
}
impl IsUnit for () {
fn is_unit() -> bool { true }
}
#[miri_run]
fn specialization() -> (bool, bool) {
(i32::is_unit(), <()>::is_unit())
}