src/test/ui/specialization/specialization-projection-alias.rs

   1 // run-pass
   2 #![allow(dead_code)]
   3 #![allow(unused_variables)]
   4
   5 #![feature(specialization)]
   6
   7 // Regression test for ICE when combining specialized associated types and type
   8 // aliases
   9
  10 trait Id_ {
  11     type Out;
  12 }
  13
  14 type Id<T> = <T as Id_>::Out;
  15
  16 impl<T> Id_ for T {
  17     default type Out = T;
  18 }
  19
  20 fn test_proection() {
  21     let x: Id<bool> = panic!();
  22 }
  23
  24 fn main() {
  25
  26 }