Add assert_on_const lint

Cargo.toml

@@ -39,6 +39,7 @@ cairo-lang-defs = "*"
 cairo-lang-diagnostics = "*"
 cairo-lang-filesystem = "*"
 cairo-lang-formatter = "*"
+cairo-lang-lowering = "*"
 cairo-lang-parser = "*"
 cairo-lang-semantic = "*"
 cairo-lang-syntax = "*"

src/context.rs

@@ -1,4 +1,6 @@
 use crate::fixer::InternalFix;
+use crate::lints::assert_on_const::AssertOnConst;
+use crate::lints::assert_on_const::check_assert_on_const;
 use crate::lints::bitwise_for_parity_check::BitwiseForParity;
 use crate::lints::bitwise_for_parity_check::check_bitwise_for_parity;
 use crate::lints::bool_comparison::BoolComparison;
@@ -403,6 +405,10 @@ impl LintContext {
                 lints: vec![Box::new(ManualUnwrapOrElse)],
                 check_function: check_manual_unwrap_or_else,
             },
+            LintRuleGroup {
+                lints: vec![Box::new(AssertOnConst)],
+                check_function: check_assert_on_const,
+            },
         ]
     }
 

src/fixer/db.rs

@@ -1,7 +1,7 @@
 use cairo_lang_defs::db::{defs_group_input, init_external_files};
 use cairo_lang_filesystem::db::files_group_input;
+use cairo_lang_lowering::{db::init_lowering_group, optimizations::config::Optimizations};
 use cairo_lang_semantic::db::semantic_group_input;
-
 use salsa::{Database, Setter};
 
 #[salsa::db]
@@ -15,6 +15,13 @@ impl salsa::Database for FixerDatabase {}
 impl FixerDatabase {
     pub fn new_from(db: &dyn Database) -> Self {
         let mut new_db = Self::new();
+
+        init_lowering_group(
+            &mut new_db,
+            Optimizations::enabled_with_minimal_movable_functions(),
+            None,
+        );
+
         // SemanticGroup salsa inputs.
         semantic_group_input(&new_db)
             .set_default_analyzer_plugins(&mut new_db)

src/lang/db.rs

@@ -15,6 +15,7 @@ use cairo_lang_filesystem::{
     flag::Flag,
     ids::FlagLongId,
 };
+use cairo_lang_lowering::{db::init_lowering_group, optimizations::config::Optimizations};
 use cairo_lang_semantic::{
     db::{init_semantic_group, semantic_group_input},
     ids::AnalyzerPluginLongId,
@@ -44,6 +45,11 @@ impl LinterAnalysisDatabase {
         init_defs_group(&mut res);
         init_semantic_group(&mut res);
         init_external_files(&mut res);
+        init_lowering_group(
+            &mut res,
+            Optimizations::enabled_with_minimal_movable_functions(),
+            None,
+        );
 
         default_plugin_suite.add(cairo_lint_allow_plugin_suite());
 
@@ -74,7 +80,6 @@ impl LinterAnalysisDatabase {
                     .map(AnalyzerPluginLongId)
                     .collect(),
             ));
-
         res
     }
 }