blob: ff2b02f73ea6522798b6509b58f3a87c8f7a789e (
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
26
27
28
29
30
|
// run-rustfix
trait Trait {}
impl Trait for () {}
// this works
fn foo() -> impl Trait {
()
}
fn bar<T: Trait + std::marker::Sync>() -> impl Trait + std::marker::Sync + Send
where
T: Send,
{
() //~ ERROR mismatched types
}
fn other_bounds<T>() -> impl Trait
where
T: Trait,
Vec<usize>: Clone,
{
() //~ ERROR mismatched types
}
fn main() {
foo();
bar::<()>();
other_bounds::<()>();
}
|