New exhaustive checks + Luau stuff

selene-lib/src/ast_util/extract_static_token.rs

@@ -8,14 +8,24 @@ pub fn extract_static_token(expression: &ast::Expression) -> Option<&TokenRefere
         deny(non_exhaustive_omitted_patterns)
     )]
     match expression {
-        ast::Expression::BinaryOperator { .. } | ast::Expression::UnaryOperator { .. } => None,
-
         ast::Expression::Parentheses { expression, .. } => extract_static_token(expression),
 
         ast::Expression::Number(token)
         | ast::Expression::String(token)
         | ast::Expression::Symbol(token) => Some(token),
 
+        ast::Expression::BinaryOperator { .. }
+        | ast::Expression::UnaryOperator { .. }
+        | ast::Expression::Function(_)
+        | ast::Expression::FunctionCall(_)
+        | ast::Expression::IfExpression(_)
+        | ast::Expression::InterpolatedString(_)
+        | ast::Expression::TableConstructor(_)
+        | ast::Expression::Var(_) => None,
+
+        #[cfg(feature = "roblox")]
+        ast::Expression::TypeAssertion { .. } => None,
+
         _ => None,
     }
 }

selene-lib/src/ast_util/scopes.rs

@@ -388,6 +388,11 @@ impl ScopeVisitor {
                 }
             }
 
+            #[cfg(feature = "roblox")]
+            ast::Expression::TypeAssertion { expression, .. } => {
+                self.read_expression(expression);
+            }
+
             ast::Expression::Number(_) | ast::Expression::String(_) => {}
 
             _ => {}

selene-lib/src/ast_util/side_effects.rs

@@ -72,6 +72,9 @@ impl HasSideEffects for ast::Expression {
                 false
             }
 
+            #[cfg(feature = "roblox")]
+            ast::Expression::TypeAssertion { expression, .. } => expression.has_side_effects(),
+
             _ => true,
         }
     }

selene-lib/src/lints/high_cyclomatic_complexity.rs

@@ -233,6 +233,11 @@ fn count_expression_complexity(expression: &ast::Expression, starting_complexity
             complexity
         }
 
+        #[cfg(feature = "roblox")]
+        ast::Expression::TypeAssertion { expression, .. } => {
+            count_expression_complexity(expression, complexity)
+        }
+
         _ => complexity,
     }
 }

selene-lib/src/lints/standard_library.rs

@@ -177,10 +177,25 @@ fn get_argument_type(expression: &ast::Expression) -> Option<PassedArgumentType>
                     None
                 }
 
+                #[cfg(feature = "roblox")]
+                ast::BinOp::DoubleSlash(_) => {
+                    let lhs_type = get_argument_type(lhs);
+                    let rhs_type = get_argument_type(rhs);
+
+                    if lhs_type == rhs_type {
+                        lhs_type
+                    } else {
+                        None
+                    }
+                }
+
                 _ => None,
             }
         }
 
+        #[cfg(feature = "roblox")]
+        ast::Expression::TypeAssertion { expression, .. } => get_argument_type(expression),
+
         _ => None,
     }
 }