tests/ui/higher-rank-trait-bounds/hrtb-parse.rs

   1 // run-pass
   2 // Test that we can parse all the various places that a `for` keyword
   3 // can appear representing universal quantification.
   4
   5 // pretty-expanded FIXME #23616
   6
   7 #![allow(unused_variables)]
   8 #![allow(dead_code)]
   9
  10 trait Get<A,R> {
  11     fn get(&self, arg: A) -> R;
  12 }
  13
  14 // Parse HRTB with explicit `for` in a where-clause:
  15
  16 fn foo00<T>(t: T)
  17     where T : for<'a> Get<&'a i32, &'a i32>
  18 {
  19 }
  20
  21 fn foo01<T: for<'a> Get<&'a i32, &'a i32>>(t: T)
  22 {
  23 }
  24
  25 // Parse HRTB with explicit `for` in various sorts of types:
  26
  27 fn foo10(t: Box<dyn for<'a> Get<i32, i32>>) { }
  28 fn foo11(t: Box<dyn for<'a> Fn(i32) -> i32>) { }
  29
  30 fn foo20(t: for<'a> fn(i32) -> i32) { }
  31 fn foo21(t: for<'a> unsafe fn(i32) -> i32) { }
  32 fn foo22(t: for<'a> extern "C" fn(i32) -> i32) { }
  33 fn foo23(t: for<'a> unsafe extern "C" fn(i32) -> i32) { }
  34
  35 fn main() {
  36 }