src/test/ui/associated-type-bounds/fn-apit.rs

   1 // run-pass
   2 // aux-build:fn-aux.rs
   3
   4 #![feature(associated_type_bounds)]
   5
   6 extern crate fn_aux;
   7
   8 use fn_aux::*;
   9
  10 fn apit_bound(beta: impl Beta<Gamma: Alpha>) -> usize {
  11     desugared_bound(beta)
  12 }
  13
  14 fn apit_bound_region(beta: impl Beta<Gamma: 'static>) -> usize {
  15     desugared_bound_region(beta)
  16 }
  17
  18 fn apit_bound_multi(
  19     beta: impl Copy + Beta<Gamma: Alpha + 'static + Delta>
  20 ) -> usize {
  21     desugared_bound_multi(beta)
  22 }
  23
  24 fn apit_bound_region_forall(
  25     beta: impl Beta<Gamma: Copy + for<'a> Epsilon<'a>>
  26 ) -> usize {
  27     desugared_bound_region_forall(beta)
  28 }
  29
  30 fn apit_bound_region_forall2(
  31     beta: impl Beta<Gamma: Copy + for<'a> Epsilon<'a, Zeta: Eta>>
  32 ) -> usize {
  33     desugared_bound_region_forall2(beta)
  34 }
  35
  36 fn apit_bound_nested(
  37     beta: impl Beta<Gamma: Copy + Alpha + Beta<Gamma: Delta>>
  38 ) -> usize {
  39     desugared_bound_nested(beta)
  40 }
  41
  42 fn apit_bound_nested2(
  43     beta: impl Beta<Gamma = impl Copy + Alpha + Beta<Gamma: Delta>>
  44 ) -> usize {
  45     desugared_bound_nested(beta)
  46 }
  47
  48 fn main() {
  49     let beta = BetaType;
  50     let _gamma = beta.gamma();
  51
  52     assert_eq!(42, apit_bound(beta));
  53     assert_eq!(24, apit_bound_region(beta));
  54     assert_eq!(42 + 24 + 1337, apit_bound_multi(beta));
  55     assert_eq!(7331 * 2, apit_bound_region_forall(beta));
  56     assert_eq!(42 + 1337, apit_bound_nested(beta));
  57     assert_eq!(42 + 1337, apit_bound_nested2(beta));
  58 }