tests/run-pass/specialization.rs

   1 #![crate_type = "lib"]
   2 #![feature(custom_attribute, specialization)]
   3 #![allow(dead_code, unused_attributes)]
   4
   5 trait IsUnit {
   6     fn is_unit() -> bool;
   7 }
   8
   9 impl<T> IsUnit for T {
  10     default fn is_unit() -> bool { false }
  11 }
  12
  13 impl IsUnit for () {
  14     fn is_unit() -> bool { true }
  15 }
  16
  17 #[miri_run]
  18 fn specialization() -> (bool, bool) {
  19     (i32::is_unit(), <()>::is_unit())
  20 }