blob: dfc800c8e7e1213811489a12af5ddde1463b342e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#![feature(non_lifetime_binders)]
//~^ WARN is incomplete and may not be safe
pub fn foo()
where
for<V> V: Sized,
{
}
pub fn bar()
where
for<V> V: IntoIterator,
{
}
fn main() {
foo();
//~^ ERROR the size for values of type `V` cannot be known at compilation time
bar();
//~^ ERROR the size for values of type `V` cannot be known at compilation time
//~| ERROR `V` is not an iterator
}
|