]>
Commit | Line | Data |
---|---|---|
83c7162d | 1 | #![feature(rustc_attrs)] |
9e0c209e | 2 | |
83c7162d | 3 | use std::borrow::Borrow; |
9e0c209e | 4 | |
83c7162d | 5 | #[rustc_dump_program_clauses] //~ ERROR program clause dump |
a1dfa0c6 | 6 | trait Foo<'a, 'b, T, U> |
b7449926 | 7 | where |
a1dfa0c6 XL |
8 | T: Borrow<U> + ?Sized, |
9 | U: ?Sized + 'b, | |
b7449926 | 10 | 'a: 'b, |
a1dfa0c6 | 11 | Box<T>:, // NOTE(#53696) this checks an empty list of bounds. |
b7449926 | 12 | { |
9e0c209e | 13 | } |
1a4d82fc | 14 | |
7453a54e | 15 | fn main() { |
83c7162d | 16 | println!("hello"); |
223e47cc | 17 | } |