src/test/ui/const-generics/type-dependent/non-local.rs

   1 // aux-build:type_dependent_lib.rs
   2 // run-pass
   3 #![feature(const_generics)]
   4 #![allow(incomplete_features)]
   5
   6 extern crate type_dependent_lib;
   7
   8 use type_dependent_lib::*;
   9
  10 fn main() {
  11     let s = Struct::<42>::new();
  12     assert_eq!(s.same_ty::<7>(), (42, 7));
  13     assert_eq!(s.different_ty::<19>(), (42, 19));
  14     assert_eq!(Struct::<1337>::new().different_ty::<96>(), (1337, 96));
  15     assert_eq!(
  16         Struct::<18>::new()
  17             .we_have_to_go_deeper::<19>()
  18             .containing_ty::<Option<u32>, 3>(),
  19         (27, 3),
  20     );
  21
  22     let s = Struct::<7>::new();
  23     assert_eq!(s.foo::<18>(), 18);
  24 }