Fix infer hover and semantic token

Author: CppCXY

crates/emmylua_code_analysis/src/db_index/type/humanize_type.rs

@@ -3,10 +3,10 @@ use std::collections::HashSet;
 use itertools::Itertools;
 
 use crate::{
-    AsyncState, DbIndex, GenericTpl, LuaAliasCallType, LuaFunctionType, LuaGenericType,
-    LuaInstanceType, LuaIntersectionType, LuaMemberKey, LuaMemberOwner, LuaObjectType,
-    LuaSignatureId, LuaStringTplType, LuaTupleType, LuaType, LuaTypeDeclId, LuaUnionType,
-    TypeSubstitutor, VariadicType,
+    AsyncState, DbIndex, GenericTpl, LuaAliasCallType, LuaConditionalType, LuaFunctionType,
+    LuaGenericType, LuaInstanceType, LuaIntersectionType, LuaMemberKey, LuaMemberOwner,
+    LuaObjectType, LuaSignatureId, LuaStringTplType, LuaTupleType, LuaType, LuaTypeDeclId,
+    LuaUnionType, TypeSubstitutor, VariadicType,
 };
 
 use super::{LuaAliasCallKind, LuaMultiLineUnion};
@@ -107,6 +107,9 @@ pub fn humanize_type(db: &DbIndex, ty: &LuaType, level: RenderLevel) -> String {
         }
         LuaType::ConstTplRef(const_tpl) => humanize_const_tpl_ref_type(const_tpl),
         LuaType::Language(s) => s.to_string(),
+        LuaType::Conditional(c) => humanize_conditional_type(db, c, level),
+        LuaType::ConditionalInfer(s) => s.to_string(),
+        LuaType::Never => "never".to_string(),
         _ => "unknown".to_string(),
     }
 }
@@ -633,6 +636,18 @@ fn humanize_const_tpl_ref_type(const_tpl: &GenericTpl) -> String {
     const_tpl.get_name().to_string()
 }
 
+fn humanize_conditional_type(
+    db: &DbIndex,
+    conditional: &LuaConditionalType,
+    level: RenderLevel,
+) -> String {
+    let check_type = humanize_type(db, conditional.get_condition(), level.next_level());
+    let true_type = humanize_type(db, conditional.get_true_type(), level.next_level());
+    let false_type = humanize_type(db, conditional.get_false_type(), level.next_level());
+
+    format!("{} and {} or {}", check_type, true_type, false_type)
+}
+
 fn humanize_str_tpl_ref_type(str_tpl: &LuaStringTplType) -> String {
     let prefix = str_tpl.get_prefix();
     if prefix.is_empty() {

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

@@ -2981,7 +2981,7 @@ Syntax(Chunk)@0..69
             Token(TkDocExtends)@37..44 "extends"
             Token(TkWhitespace)@44..45 " "
             Syntax(TypeInfer)@45..52
-              Token(TkName)@45..50 "infer"
+              Token(TkDocInfer)@45..50 "infer"
               Token(TkWhitespace)@50..51 " "
               Syntax(DocGenericParameter)@51..52
                 Token(TkName)@51..52 "P"
@@ -3039,7 +3039,7 @@ Syntax(Chunk)@0..106
                 Token(TkColon)@64..65 ":"
                 Token(TkWhitespace)@65..66 " "
                 Syntax(TypeInfer)@66..73
-                  Token(TkName)@66..71 "infer"
+                  Token(TkDocInfer)@66..71 "infer"
                   Token(TkWhitespace)@71..72 " "
                   Syntax(DocGenericParameter)@72..73
                     Token(TkName)@72..73 "P"
@@ -3251,7 +3251,7 @@ Syntax(Chunk)@0..106
                 Token(TkColon)@66..67 ":"
                 Token(TkWhitespace)@67..68 " "
                 Syntax(TypeInfer)@68..75
-                  Token(TkName)@68..73 "infer"
+                  Token(TkDocInfer)@68..73 "infer"
                   Token(TkWhitespace)@73..74 " "
                   Syntax(DocGenericParameter)@74..75
                     Token(TkName)@74..75 "P"

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

@@ -484,6 +484,7 @@ fn parse_name_type(p: &mut LuaDocParser) -> DocParseResult {
 
 fn parse_infer_type(p: &mut LuaDocParser) -> DocParseResult {
     let m = p.mark(LuaSyntaxKind::TypeInfer);
+    p.set_current_token_kind(LuaTokenKind::TkDocInfer);
     p.bump();
     let param = p.mark(LuaSyntaxKind::DocGenericParameter);
     expect_token(p, LuaTokenKind::TkName)?;

crates/emmylua_parser/src/parser/lua_doc_parser.rs

@@ -297,6 +297,10 @@ impl<'b> LuaDocParser<'_, 'b> {
     pub fn set_parser_state(&mut self, state: LuaDocParserState) {
         self.state = state;
     }
+
+    pub fn set_current_token_kind(&mut self, kind: LuaTokenKind) {
+        self.current_token = kind;
+    }
 }
 
 fn is_invalid_kind(kind: LuaTokenKind) -> bool {