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

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