blob: c19e75eb7bfc860504e800e6b3e194788e04b40c (
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<Region(
}
fn main() {}
|