blob: 3318dbab4685e067e010011368da91badf146817 (
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
|
## 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;
}
```
|
