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

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