blob: 50d1a8745513973a1d9597241a786f492c1e3373 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
// Need a different module so we try to build the mir for `test`
// before analyzing `mod foo`.
mod foo {
pub trait Callable {
fn call();
}
impl<V: ?Sized> Callable for () {
//~^ ERROR the type parameter `V` is not constrained by the impl trait, self type, or predicates
fn call() {}
}
}
use foo::*;
fn test() -> impl Sized {
<() as Callable>::call()
//~^ ERROR: type annotations needed
}
fn main() {}
|
