blob: ab6edde4ee7eadfc7a1bd65cf7e34892f2d9ab41 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
// revisions: quiet verbose
// [verbose]compile-flags: -Zverbose
#![allow(unused_parens)]
trait Foo {
type Assoc;
}
fn called()
where
for<'b> fn(&'b ()): Foo,
{
}
fn caller()
where
(for<'a> fn(&'a ())): Foo,
{
called()
//[quiet]~^ ERROR the trait bound `for<'b> fn(&'b ()): Foo` is not satisfied
//[verbose]~^^ ERROR the trait bound `for<'b> fn(&ReLateBound(
}
fn main() {}
|