src/test/ui/chalkify/lower_env3.rs

   1 #![feature(rustc_attrs)]
   2 #![allow(dead_code)]
   3
   4 trait Foo {
   5     #[rustc_dump_env_program_clauses] //~ ERROR program clause dump
   6     fn foo(&self);
   7 }
   8
   9 impl<T> Foo for T where T: Clone {
  10     #[rustc_dump_env_program_clauses] //~ ERROR program clause dump
  11     fn foo(&self) {
  12     }
  13 }
  14
  15 fn main() {
  16 }