T-Substrate NominalOpacity carrier (carrier-only staging)

src/v3/compiler/src/bootstrap.rs

@@ -169,6 +169,7 @@ pub(crate) fn patch_kernel_bool_boolean_algebra_inhabits(dag: &mut Dag) {
         inhabits: None,
         value_body: None,
         refinement: None,
+        nominal_opacity: None,
         span: span_for_inst,
     });
     dag.declaration_mut(bool_id).inhabits = Some(inst_id);
@@ -295,6 +296,7 @@ mod tests {
 
             value_body: None,
             refinement: None,
+            nominal_opacity: None,
             span: span.clone(),
         });
 
@@ -313,6 +315,7 @@ mod tests {
 
             value_body: None,
             refinement: None,
+            nominal_opacity: None,
             span: span.clone(),
         });
 
@@ -356,6 +359,7 @@ mod tests {
 
             value_body: None,
             refinement: None,
+            nominal_opacity: None,
             span,
         });