feat: library requirements syntax checker

crates/sema/src/ast_passes.rs

@@ -220,6 +220,23 @@ impl<'ast> Visit<'ast> for AstValidator<'_, 'ast> {
         contract: &'ast ast::ItemContract<'ast>,
     ) -> ControlFlow<Self::BreakValue> {
         self.contract = Some(contract);
+
+        if contract.kind.is_library() {
+            if !contract.bases.is_empty() {
+                self.dcx().err("library is not allowed to inherit").span(contract.name.span).emit();
+            }
+            for item in contract.body.iter() {
+                if let ast::ItemKind::Variable(var) = &item.kind {
+                    if !var.mutability.is_some_and(|m| m.is_constant()) {
+                        self.dcx()
+                            .err("library cannot have non-constant state variable")
+                            .span(var.span)
+                            .emit();
+                    }
+                }
+            }
+        }
+
         let r = self.walk_item_contract(contract);
         self.contract = None;
         r

tests/ui/resolve/library_requirements.sol

@@ -0,0 +1,8 @@
+library A{}
+
+library B is A {} //~ERROR: library is not allowed to inherit
+
+library C {
+    uint256 constant x = 1;
+    uint256 y; //~ERROR: library cannot have non-constant state variable
+}

tests/ui/resolve/library_requirements.stderr

@@ -0,0 +1,16 @@
+error: library is not allowed to inherit
+  --> ROOT/tests/ui/resolve/library_requirements.sol:LL:CC
+   |
+LL | library B is A {}
+   |         ^
+   |
+
+error: library cannot have non-constant state variable
+  --> ROOT/tests/ui/resolve/library_requirements.sol:LL:CC
+   |
+LL |     uint256 y;
+   |     ^^^^^^^^^^
+   |
+
+error: aborting due to 2 previous errors
+