Fix unary type priority

Fix #645

Author: CppCXY

crates/emmylua_code_analysis/src/compilation/test/type_check_test.rs

@@ -17,4 +17,21 @@ mod test {
         "#,
         ));
     }
+
+    #[test]
+    fn test_issue_645() {
+        let mut ws = VirtualWorkspace::new();
+
+        assert!(ws.check_code_for(
+            DiagnosticCode::ParamTypeNotMatch,
+            r#"
+        --- @alias Dir -1|1
+
+        ---@param d Dir
+        local function foo(d) end
+
+        foo(1)
+        "#,
+        ));
+    }
 }

crates/emmylua_parser/src/grammar/doc/types.rs

@@ -4,6 +4,7 @@ use crate::{
     lexer::LuaDocLexerState,
     parser::{CompleteMarker, LuaDocParser, MarkerEventContainer},
     parser_error::LuaParseError,
+    UNARY_TYPE_PRIORITY,
 };
 
 use super::{expect_token, if_token_bump, parse_description};
@@ -60,7 +61,7 @@ fn parse_sub_type(p: &mut LuaDocParser, limit: i32) -> ParseResult {
         let range = p.current_token_range();
         let m = p.mark(LuaSyntaxKind::TypeUnary);
         p.bump();
-        match parse_sub_type(p, 0) {
+        match parse_sub_type(p, UNARY_TYPE_PRIORITY) {
             Ok(_) => {}
             Err(err) => {
                 p.push_error(LuaParseError::doc_error_from(

crates/emmylua_parser/src/kind/lua_type_operator_kind.rs

@@ -30,6 +30,8 @@ pub const PRIORITY: &[PriorityTable] = &[
     PriorityTable { left: 6, right: 6 }, // Sub
 ];
 
+pub const UNARY_TYPE_PRIORITY: i32 = 7;
+
 impl LuaTypeBinaryOperator {
     pub fn get_priority(&self) -> &PriorityTable {
         &PRIORITY[*self as usize]

crates/emmylua_parser/src/kind/mod.rs

@@ -11,7 +11,7 @@ pub use lua_operator_kind::{BinaryOperator, UnaryOperator, UNARY_PRIORITY};
 pub use lua_syntax_kind::LuaSyntaxKind;
 pub use lua_token_kind::LuaTokenKind;
 pub use lua_type_operator_kind::{
-    LuaTypeBinaryOperator, LuaTypeTernaryOperator, LuaTypeUnaryOperator,
+    LuaTypeBinaryOperator, LuaTypeTernaryOperator, LuaTypeUnaryOperator, UNARY_TYPE_PRIORITY,
 };
 pub use lua_version::{LuaVersionCondition, LuaVersionNumber};
 pub use lua_visibility_kind::VisibilityKind;