blob: 8fa8306a5276cbdcbc5daec7bfaa1e5a00289642 (
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
## If the dynamized trait isn't object safe you get a compile error
```rust compile_fail
trait ObjectUnsafe: Sized {}
#[dynamize::dynamize]
trait Trait: ObjectUnsafe {}
```
```rust compile_fail
trait ObjectUnsafe: Sized {}
#[dynamize::dynamize]
trait Trait {
type A: ObjectUnsafe;
fn f(&self) -> Self::A;
}
```
## Same-named method generics must have same trait bounds
Works:
```rust
#[dynamize::dynamize]
trait Trait {
type A: std::error::Error;
fn a<A: std::fmt::Display>(&self, a: A) -> Self::A;
fn b<A: std::fmt::Display>(&self, a: A) -> Self::A;
}
```
```rust
#[dynamize::dynamize]
trait Trait {
type A: std::error::Error;
fn a<A>(&self, a: A) -> Self::A;
fn b<B: std::fmt::Display>(&self, a: B) -> Self::A;
}
```
Fails:
```rust compile_fail
#[dynamize::dynamize]
trait Trait {
type A: std::error::Error;
fn a<A>(&self, a: A) -> Self::A;
fn b<A: std::fmt::Display>(&self, a: A) -> Self::A;
}
```
## Where clause must not contain associated types in complex predicates
Works:
```rust
#[dynamize::dynamize]
trait TraitWithCallback {
type A: Into<String>;
fn a<G>(&self, a: G) where G: Fn(Self::A);
}
```
Fails:
```rust compile_fail
#[dynamize::dynamize]
trait TraitWithCallback {
type A: Into<String>;
fn a<G>(&self, a: G) where G: Into<Self::A>;
}
```
Fails:
```rust compile_fail
struct MyType<A>(A);
trait SomeTrait {}
#[dynamize::dynamize]
trait TraitWithCallback {
type A: Into<String>;
fn a<G>(&self, a: G) where MyType<Self::A>: SomeTrait;
}
```
|
