disable import resolution on type-only import specifiers

Author: erik-krogh

javascript/ql/lib/semmle/javascript/DefUse.qll

@@ -42,7 +42,7 @@ private predicate defn(ControlFlowNode def, Expr lhs, AST::ValueNode rhs) {
     lhs = i.getIdentifier() and rhs = i.getImportedEntity()
   )
   or
-  exists(ImportSpecifier i | def = i | lhs = i.getLocal() and rhs = i)
+  exists(ImportSpecifier i | def = i and not i.isTypeOnly() | lhs = i.getLocal() and rhs = i)
   or
   exists(EnumMember member | def = member.getIdentifier() |
     lhs = def and rhs = member.getInitializer()

javascript/ql/lib/semmle/javascript/dataflow/DataFlow.qll

@@ -881,6 +881,7 @@ module DataFlow {
 
     ImportSpecifierAsPropRead() {
       astNode = imprt.getASpecifier() and
+      not astNode.isTypeOnly() and
       exists(astNode.getImportedName())
     }
 

javascript/ql/lib/semmle/javascript/dataflow/internal/InterModuleTypeInference.qll

@@ -15,7 +15,11 @@ private import AbstractPropertiesImpl
 private class AnalyzedImportSpecifier extends AnalyzedVarDef, @import_specifier {
   ImportDeclaration id;
 
-  AnalyzedImportSpecifier() { this = id.getASpecifier() and exists(id.resolveImportedPath()) }
+  AnalyzedImportSpecifier() {
+    this = id.getASpecifier() and
+    exists(id.resolveImportedPath()) and
+    not this.(ImportSpecifier).isTypeOnly()
+  }
 
   override DataFlow::AnalyzedNode getRhs() { result.(AnalyzedImport).getImportSpecifier() = this }
 
@@ -135,10 +139,12 @@ private predicate incompleteExport(ES2015Module m, string y) {
  */
 private class AnalyzedImport extends AnalyzedPropertyRead, DataFlow::ValueNode {
   Module imported;
+  override ImportSpecifier astNode;
 
   AnalyzedImport() {
     exists(ImportDeclaration id |
       astNode = id.getASpecifier() and
+      not astNode.isTypeOnly() and
       imported = id.getImportedModule()
     )
   }