tests/run-pass/specialization.rs

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