src/test/ui/specialization/issue-51892.rs

   1 #![allow(incomplete_features)]
   2 #![feature(generic_const_exprs)]
   3 #![feature(specialization)]
   4
   5 pub trait Trait {
   6     type Type;
   7 }
   8
   9 impl<T: ?Sized> Trait for T {
  10     default type Type = [u8; 1];
  11 }
  12
  13 impl<T: Trait> Trait for *const T {
  14     type Type = [u8; std::mem::size_of::<<T as Trait>::Type>()];
  15     //~^ ERROR: unconstrained generic constant
  16 }
  17
  18 fn main() {}