src/test/ui/const-generics/type-dependent/issue-63695.rs

   1 // run-pass
   2 #![feature(const_generics)]
   3 #![allow(incomplete_features)]
   4
   5 trait T {
   6     fn test<const A: i32>(&self) -> i32 { A }
   7 }
   8
   9 struct S();
  10
  11 impl T for S {}
  12
  13 fn main() {
  14     let foo = S();
  15     assert_eq!(foo.test::<8i32>(), 8);
  16     assert_eq!(foo.test::<16i32>(), 16);
  17 }