Check that non-intrinsic integer bitfields properly check the set bits

Author: estebank

bitbybit/src/bitfield/parsing.rs

@@ -14,7 +14,7 @@ pub fn parse(fields: &Fields, base_data_size: BaseDataSize) -> Result<Vec<FieldD
     let mut field_definitions = Vec::with_capacity(fields.len());
 
     for field in fields {
-        match parse_field(base_data_size.internal, field) {
+        match parse_field(base_data_size.exposed, field) {
             Ok(def) => field_definitions.push(def),
             Err(ts) => return Err(ts),
         }

bitbybit/tests/no_compile/invalid_bit_pos/invalid_bit_pos_array_field_u7.rs

@@ -0,0 +1,9 @@
+use bitbybit::bitfield;
+
+#[bitfield(u7, default = 0)]
+struct Test {
+    #[bit(0, rw)]
+    array_field: [bool; 8],
+}
+
+fn main() {}

bitbybit/tests/no_compile/invalid_bit_pos/invalid_bit_pos_array_field_u7.stderr

@@ -0,0 +1,5 @@
+error: bitfield!: Array-field array_field requires 8 bits for the array, but only has (7)
+ --> tests/no_compile/invalid_bit_pos/invalid_bit_pos_array_field_u7.rs:5:5
+  |
+5 |     #[bit(0, rw)]
+  |     ^^^^^^^^^^^^^

bitbybit/tests/no_compile/invalid_bit_pos/invalid_bit_pos_array_u7.rs

@@ -0,0 +1,9 @@
+use bitbybit::bitfield;
+
+#[bitfield(u7, default = 0)]
+struct Test {
+    #[bits([0, 7], rw)]
+    multi_bit_field: u2,
+}
+
+fn main() {}

bitbybit/tests/no_compile/invalid_bit_pos/invalid_bit_pos_array_u7.stderr

@@ -0,0 +1,5 @@
+error: bitfield!: Field multi_bit_field requires 8 bits, but only has (7)
+ --> tests/no_compile/invalid_bit_pos/invalid_bit_pos_array_u7.rs:5:5
+  |
+5 |     #[bits([0, 7], rw)]
+  |     ^^^^^^^^^^^^^^^^^^^

bitbybit/tests/no_compile/invalid_bit_pos/invalid_bit_pos_u7.rs

@@ -0,0 +1,9 @@
+use bitbybit::bitfield;
+
+#[bitfield(u7, default = 0)]
+struct Test {
+    #[bit(7, rw)]
+    field: bool,
+}
+
+fn main() {}

bitbybit/tests/no_compile/invalid_bit_pos/invalid_bit_pos_u7.stderr

@@ -0,0 +1,5 @@
+error: bitfield!: Field field requires 8 bits, but only has (7)
+ --> tests/no_compile/invalid_bit_pos/invalid_bit_pos_u7.rs:5:5
+  |
+5 |     #[bit(7, rw)]
+  |     ^^^^^^^^^^^^^

bitbybit/tests/no_compile/invalid_bit_pos/invalid_bits_pos_array_u7.rs

@@ -0,0 +1,9 @@
+use bitbybit::bitfield;
+
+#[bitfield(u7, default = 0)]
+struct Test {
+    #[bits([0, 6..=7], rw)]
+    multi_bit_field: u3,
+}
+
+fn main() {}

bitbybit/tests/no_compile/invalid_bit_pos/invalid_bits_pos_array_u7.stderr

@@ -0,0 +1,5 @@
+error: bitfield!: Field multi_bit_field requires 8 bits, but only has (7)
+ --> tests/no_compile/invalid_bit_pos/invalid_bits_pos_array_u7.rs:5:5
+  |
+5 |     #[bits([0, 6..=7], rw)]
+  |     ^^^^^^^^^^^^^^^^^^^^^^^

bitbybit/tests/no_compile/invalid_bit_pos/invalid_bits_pos_u7.rs

@@ -0,0 +1,9 @@
+use bitbybit::bitfield;
+
+#[bitfield(u7, default = 0)]
+struct Test {
+    #[bits(6..=7, rw)]
+    field: u2,
+}
+
+fn main() {}