src/test/ui/chalkify/lower_env2.rs

   1 #![feature(rustc_attrs)]
   2 #![allow(dead_code)]
   3
   4 trait Foo { }
   5
   6 #[rustc_dump_program_clauses] //~ ERROR program clause dump
   7 struct S<'a, T: ?Sized> where T: Foo {
   8     data: &'a T,
   9 }
  10
  11 #[rustc_dump_env_program_clauses] //~ ERROR program clause dump
  12 fn bar<T: Foo>(_x: S<'_, T>) { // note that we have an implicit `T: Sized` bound
  13 }
  14
  15 fn main() {
  16 }