Lines Matching refs:beta
13 fn inline_bound<B: Beta<Gamma: Alpha>>(beta: B) -> usize { in inline_bound()
14 desugared_bound(beta) in inline_bound()
17 fn inline_bound_region<B: Beta<Gamma: 'static>>(beta: B) -> usize { in inline_bound_region()
18 desugared_bound_region(beta) in inline_bound_region()
22 beta: B in inline_bound_multi()
24 desugared_bound_multi(beta) in inline_bound_multi()
34 beta: B in inline_bound_region_forall()
36 desugared_bound_region_forall(beta) in inline_bound_region_forall()
40 beta: B in inline_bound_region_forall2()
42 desugared_bound_region_forall2(beta) in inline_bound_region_forall2()
46 beta: B in inline_bound_nested()
48 desugared_bound_nested(beta) in inline_bound_nested()
52 let beta = BetaType; in main() localVariable
53 let gamma = beta.gamma(); in main()
55 assert_eq!(42, inline_bound(beta)); in main()
56 assert_eq!(24, inline_bound_region(beta)); in main()
57 assert_eq!(42 + 24 + 1337, inline_bound_multi(beta)); in main()
59 assert_eq!(7331 * 2, inline_bound_region_forall(beta)); in main()
62 assert_eq!(42 + 1337, inline_bound_nested(beta)); in main()