src/test/ui/chalkify/lower_trait_higher_rank.rs

   1 #![feature(rustc_attrs)]
   2
   3 #[rustc_dump_program_clauses] //~ ERROR program clause dump
   4 trait Foo<F: ?Sized> where for<'a> F: Fn(&'a (u8, u16)) -> &'a u8
   5 {
   6 }
   7
   8 fn main() {
   9     println!("hello");
  10 }