]>
Commit | Line | Data |
---|---|---|
dfeec247 XL |
1 | An unsafe trait was implemented without an unsafe implementation. |
2 | ||
3 | Erroneous code example: | |
4 | ||
5 | ```compile_fail,E0200 | |
6 | struct Foo; | |
7 | ||
8 | unsafe trait Bar { } | |
9 | ||
10 | impl Bar for Foo { } // error! | |
11 | ``` | |
12 | ||
60c5eb7d XL |
13 | Unsafe traits must have unsafe implementations. This error occurs when an |
14 | implementation for an unsafe trait isn't marked as unsafe. This may be resolved | |
15 | by marking the unsafe implementation as unsafe. | |
16 | ||
dfeec247 | 17 | ``` |
60c5eb7d XL |
18 | struct Foo; |
19 | ||
20 | unsafe trait Bar { } | |
21 | ||
dfeec247 | 22 | unsafe impl Bar for Foo { } // ok! |
60c5eb7d | 23 | ``` |