Add support for imported types in SFC macros (#2134)

Author: ota-meshi

docs/.vitepress/config.ts

@@ -73,7 +73,7 @@ const sidebarCategories = [
   }
 ]
 
-const categorizedRules: DefaultTheme.SidebarGroup[] = []
+const categorizedRules: DefaultTheme.SidebarItem[] = []
 for (const { title, categoryIds } of sidebarCategories) {
   const categoryRules = rules
     .filter((rule) => rule.meta.docs.categories && !rule.meta.deprecated)
@@ -84,8 +84,10 @@ for (const { title, categoryIds } of sidebarCategories) {
     )
   const children: DefaultTheme.SidebarItem[] = categoryRules
     .filter(({ ruleId }) => {
-      const exists = categorizedRules.some(({ items }) =>
-        items.some(({ text: alreadyRuleId }) => alreadyRuleId === ruleId)
+      const exists = categorizedRules.some(
+        ({ items }) =>
+          items &&
+          items.some(({ text: alreadyRuleId }) => alreadyRuleId === ruleId)
       )
       return !exists
     })
@@ -101,16 +103,16 @@ for (const { title, categoryIds } of sidebarCategories) {
   }
   categorizedRules.push({
     text: title,
-    collapsible: false,
+    collapsed: false,
     items: children
   })
 }
 
-const extraCategories: DefaultTheme.SidebarGroup[] = []
+const extraCategories: DefaultTheme.SidebarItem[] = []
 if (uncategorizedRules.length > 0) {
   extraCategories.push({
     text: 'Uncategorized',
-    collapsible: false,
+    collapsed: false,
     items: uncategorizedRules.map(({ ruleId, name }) => ({
       text: ruleId,
       link: `/rules/${name}`
@@ -120,7 +122,7 @@ if (uncategorizedRules.length > 0) {
 if (uncategorizedExtensionRule.length > 0) {
   extraCategories.push({
     text: 'Extension Rules',
-    collapsible: false,
+    collapsed: false,
     items: uncategorizedExtensionRule.map(({ ruleId, name }) => ({
       text: ruleId,
       link: `/rules/${name}`
@@ -130,7 +132,7 @@ if (uncategorizedExtensionRule.length > 0) {
 if (deprecatedRules.length > 0) {
   extraCategories.push({
     text: 'Deprecated',
-    collapsible: false,
+    collapsed: false,
     items: deprecatedRules.map(({ ruleId, name }) => ({
       text: ruleId,
       link: `/rules/${name}`

lib/rules/no-restricted-props.js

@@ -109,14 +109,17 @@ module.exports = {
               option.message ||
               `Using \`${prop.propName}\` props is not allowed.`
             context.report({
-              node: prop.key,
+              node: prop.type !== 'infer-type' ? prop.key : prop.node,
               messageId: 'restrictedProp',
               data: { message },
-              suggest: createSuggest(
-                prop.key,
-                option,
-                withDefaultsProps && withDefaultsProps[prop.propName]
-              )
+              suggest:
+                prop.type !== 'infer-type'
+                  ? createSuggest(
+                      prop.key,
+                      option,
+                      withDefaultsProps && withDefaultsProps[prop.propName]
+                    )
+                  : null
             })
             break
           }

lib/rules/no-unused-properties.js

@@ -30,7 +30,7 @@ const {
  * @typedef {object} ComponentNonObjectPropertyData
  * @property {string} name
  * @property {GroupName} groupName
- * @property {'array' | 'type'} type
+ * @property {'array' | 'type' | 'infer-type'} type
  * @property {ASTNode} node
  *
  * @typedef { ComponentNonObjectPropertyData | ComponentObjectPropertyData } ComponentPropertyData
@@ -423,7 +423,7 @@ module.exports = {
                 type: prop.type,
                 name: prop.propName,
                 groupName: 'props',
-                node: prop.key
+                node: prop.type !== 'infer-type' ? prop.key : prop.node
               })
             }
           }

lib/rules/padding-lines-in-component-definition.js

@@ -6,6 +6,7 @@
 
 /**
  * @typedef {import('../utils').ComponentProp} ComponentProp
+ * @typedef {import('../utils').ComponentEmit} ComponentEmit
  * @typedef {import('../utils').GroupName} GroupName
  */
 
@@ -33,10 +34,19 @@ function isComma(node) {
 }
 
 /**
- * @param {string} nodeType
+ * @typedef {Exclude<ComponentProp | ComponentEmit, {type:'infer-type'}> & { node: {type: 'Property' | 'SpreadElement'} }} ValidComponentPropOrEmit
  */
-function isValidProperties(nodeType) {
-  return ['Property', 'SpreadElement'].includes(nodeType)
+/**
+ * @template {ComponentProp | ComponentEmit} T
+ * @param {T} propOrEmit
+ * @returns {propOrEmit is ValidComponentPropOrEmit & T}
+ */
+function isValidProperties(propOrEmit) {
+  return Boolean(
+    propOrEmit.type !== 'infer-type' &&
+      propOrEmit.node &&
+      ['Property', 'SpreadElement'].includes(propOrEmit.node.type)
+  )
 }
 
 /**
@@ -320,11 +330,9 @@ module.exports = {
       }),
       utils.defineScriptSetupVisitor(context, {
         onDefinePropsEnter(_, props) {
-          const propNodes = /** @type {(Property | SpreadElement)[]} */ (
-            props
-              .filter((prop) => prop.node && isValidProperties(prop.node.type))
-              .map((prop) => prop.node)
-          )
+          const propNodes = props
+            .filter(isValidProperties)
+            .map((prop) => prop.node)
 
           const withinOption = parseOption(options, OptionKeys.WithinOption)
           const propsOption = withinOption && parseOption(withinOption, 'props')
@@ -337,11 +345,9 @@ module.exports = {
           )
         },
         onDefineEmitsEnter(_, emits) {
-          const emitNodes = /** @type {(Property | SpreadElement)[]} */ (
-            emits
-              .filter((emit) => emit.node && isValidProperties(emit.node.type))
-              .map((emit) => emit.node)
-          )
+          const emitNodes = emits
+            .filter(isValidProperties)
+            .map((emit) => emit.node)
 
           const withinOption = parseOption(options, OptionKeys.WithinOption)
           const emitsOption = withinOption && parseOption(withinOption, 'emits')

lib/rules/prefer-prop-type-boolean-first.js

@@ -67,6 +67,9 @@ module.exports = {
      * @param {import('../utils').ComponentProp} prop
      */
     function checkProperty(prop) {
+      if (prop.type !== 'object') {
+        return
+      }
       const { value } = prop
       if (!value) {
         return

lib/rules/require-emit-validator.js

@@ -34,32 +34,37 @@ module.exports = {
      * @param {ComponentEmit} emit
      */
     function checker(emit) {
-      if (emit.type !== 'object' && emit.type !== 'array') {
-        return
-      }
-      const { value, node, emitName } = emit
-      const hasType =
-        !!value &&
-        (value.type === 'ArrowFunctionExpression' ||
+      /** @type {Expression|null} */
+      let value = null
+      let hasType = false
+      if (emit.type === 'object') {
+        value = emit.value
+        hasType =
+          value.type === 'ArrowFunctionExpression' ||
           value.type === 'FunctionExpression' ||
           // validator may from outer scope
-          value.type === 'Identifier')
+          value.type === 'Identifier'
+      } else if (emit.type !== 'array') {
+        return
+      }
 
       if (!hasType) {
+        const { node, emitName } = emit
         const name =
           emitName ||
           (node.type === 'Identifier' && node.name) ||
           'Unknown emit'
 
         if (value && value.type === 'Literal' && value.value === null) {
+          const valueNode = value
           context.report({
             node,
             messageId: 'skipped',
             data: { name },
             suggest: [
               {
                 messageId: 'emptyValidation',
-                fix: (fixer) => fixer.replaceText(value, '() => true')
+                fix: (fixer) => fixer.replaceText(valueNode, '() => true')
               }
             ]
           })

lib/rules/require-explicit-emits.js

@@ -429,7 +429,10 @@ module.exports = {
 function buildSuggest(define, emits, nameWithLoc, context) {
   const emitsKind =
     define.type === 'ObjectExpression' ? '`emits` option' : '`defineEmits`'
-  const certainEmits = emits.filter((e) => e.key)
+  const certainEmits = emits.filter(
+    /** @returns {e is ComponentEmit & {type:'array'|'object'}} */
+    (e) => e.type === 'array' || e.type === 'object'
+  )
   if (certainEmits.length > 0) {
     const last = certainEmits[certainEmits.length - 1]
     return [

lib/rules/require-prop-comment.js

@@ -62,7 +62,7 @@ module.exports = {
      */
     function verifyProps(props) {
       for (const prop of props) {
-        if (!prop.propName) {
+        if (!prop.propName || prop.type === 'infer-type') {
           continue
         }
 

lib/rules/require-prop-type-constructor.js

@@ -79,7 +79,7 @@ module.exports = {
     /** @param {ComponentProp[]} props */
     function verifyProps(props) {
       for (const prop of props) {
-        if (!prop.value || prop.propName == null) {
+        if (prop.type !== 'object' || prop.propName == null) {
           continue
         }
         if (

lib/rules/require-prop-types.js

@@ -51,12 +51,12 @@ module.exports = {
       if (prop.type !== 'object' && prop.type !== 'array') {
         return
       }
-      const { value, node, propName } = prop
       let hasType = true
 
-      if (!value) {
+      if (prop.type === 'array') {
         hasType = false
       } else {
+        const { value } = prop
         switch (value.type) {
           case 'ObjectExpression': {
             // foo: {
@@ -77,6 +77,7 @@ module.exports = {
       }
 
       if (!hasType) {
+        const { node, propName } = prop
         const name =
           propName ||
           (node.type === 'Identifier' && node.name) ||