rust-spec 0.7.1

Classification of types in accordance with the Rust specification
Documentation 
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
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129

error[E0283]: type annotations needed
 --> tests/ui_fail/drop_without_attribute.rs:6:8
  |
6 | struct RustStruct(u8);
  |        ^^^^^^^^^^ cannot infer type
  |
note: multiple `impl`s satisfying `RustStruct: <RustStruct as _::AssertNoDrop>::check::DropImplIsNotSupported<_>` found
 --> tests/ui_fail/drop_without_attribute.rs:5:10
  |
5 | #[derive(RustSpec)]
  |          ^^^^^^^^
  = note: this error originates in the derive macro `RustSpec` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0283]: type annotations needed
  --> tests/ui_fail/drop_without_attribute.rs:14:8
   |
14 | struct ReprCStruct(u8);
   |        ^^^^^^^^^^^ cannot infer type
   |
note: multiple `impl`s satisfying `ReprCStruct: <ReprCStruct as _::AssertNoDrop>::check::DropImplIsNotSupported<_>` found
  --> tests/ui_fail/drop_without_attribute.rs:12:10
   |
12 | #[derive(RustSpec)]
   |          ^^^^^^^^
   = note: this error originates in the derive macro `RustSpec` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0283]: type annotations needed
  --> tests/ui_fail/drop_without_attribute.rs:22:8
   |
22 | struct TransparentStruct(u8);
   |        ^^^^^^^^^^^^^^^^^ cannot infer type
   |
note: multiple `impl`s satisfying `TransparentStruct: <TransparentStruct as _::AssertNoDrop>::check::DropImplIsNotSupported<_>` found
  --> tests/ui_fail/drop_without_attribute.rs:20:10
   |
20 | #[derive(RustSpec)]
   |          ^^^^^^^^
   = note: this error originates in the derive macro `RustSpec` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0283]: type annotations needed
  --> tests/ui_fail/drop_without_attribute.rs:29:8
   |
29 | struct Generic<T>(core::marker::PhantomData<T>);
   |        ^^^^^^^^^^ cannot infer type
   |
note: multiple `impl`s satisfying `Generic<T>: <Generic<T> as _::AssertNoDrop>::check::DropImplIsNotSupported<_>` found
  --> tests/ui_fail/drop_without_attribute.rs:28:10
   |
28 | #[derive(RustSpec)]
   |          ^^^^^^^^
   = note: this error originates in the derive macro `RustSpec` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0283]: type annotations needed
  --> tests/ui_fail/drop_without_attribute.rs:37:6
   |
37 | enum TransparentEnum {
   |      ^^^^^^^^^^^^^^^ cannot infer type
   |
note: multiple `impl`s satisfying `TransparentEnum: <TransparentEnum as _::AssertNoDrop>::check::DropImplIsNotSupported<_>` found
  --> tests/ui_fail/drop_without_attribute.rs:35:10
   |
35 | #[derive(RustSpec)]
   |          ^^^^^^^^
   = note: this error originates in the derive macro `RustSpec` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0283]: type annotations needed
  --> tests/ui_fail/drop_without_attribute.rs:46:6
   |
46 | enum RustDataEnum {
   |      ^^^^^^^^^^^^ cannot infer type
   |
note: multiple `impl`s satisfying `RustDataEnum: <RustDataEnum as _::AssertNoDrop>::check::DropImplIsNotSupported<_>` found
  --> tests/ui_fail/drop_without_attribute.rs:45:10
   |
45 | #[derive(RustSpec)]
   |          ^^^^^^^^
   = note: this error originates in the derive macro `RustSpec` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0283]: type annotations needed
  --> tests/ui_fail/drop_without_attribute.rs:57:6
   |
57 | enum PrimitiveDataEnum {
   |      ^^^^^^^^^^^^^^^^^ cannot infer type
   |
note: multiple `impl`s satisfying `PrimitiveDataEnum: <PrimitiveDataEnum as _::AssertNoDrop>::check::DropImplIsNotSupported<_>` found
  --> tests/ui_fail/drop_without_attribute.rs:55:10
   |
55 | #[derive(RustSpec)]
   |          ^^^^^^^^
   = note: this error originates in the derive macro `RustSpec` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0283]: type annotations needed
  --> tests/ui_fail/drop_without_attribute.rs:68:6
   |
68 | enum FieldlessEnum {
   |      ^^^^^^^^^^^^^ cannot infer type
   |
note: multiple `impl`s satisfying `FieldlessEnum: <FieldlessEnum as _::AssertNoDrop>::check::DropImplIsNotSupported<_>` found
  --> tests/ui_fail/drop_without_attribute.rs:66:10
   |
66 | #[derive(RustSpec)]
   |          ^^^^^^^^
   = note: this error originates in the derive macro `RustSpec` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0283]: type annotations needed
  --> tests/ui_fail/drop_without_attribute.rs:79:6
   |
79 | enum DataEnum {
   |      ^^^^^^^^ cannot infer type
   |
note: multiple `impl`s satisfying `DataEnum: <DataEnum as _::AssertNoDrop>::check::DropImplIsNotSupported<_>` found
  --> tests/ui_fail/drop_without_attribute.rs:77:10
   |
77 | #[derive(RustSpec)]
   |          ^^^^^^^^
   = note: this error originates in the derive macro `RustSpec` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0283]: type annotations needed
  --> tests/ui_fail/drop_without_attribute.rs:89:7
   |
89 | union ValueUnion {
   |       ^^^^^^^^^^ cannot infer type
   |
note: multiple `impl`s satisfying `ValueUnion: <ValueUnion as _::AssertNoDrop>::check::DropImplIsNotSupported<_>` found
  --> tests/ui_fail/drop_without_attribute.rs:88:10
   |
88 | #[derive(RustSpec)]
   |          ^^^^^^^^
   = note: this error originates in the derive macro `RustSpec` (in Nightly builds, run with -Z macro-backtrace for more info)