Fixup ClassValidator

Author: asgerf

javascript/ql/lib/semmle/javascript/frameworks/ClassValidator.qll

@@ -3,6 +3,7 @@
  */
 
 import javascript
+private import semmle.javascript.internal.NameResolution
 private import semmle.javascript.internal.TypeResolution
 private import semmle.javascript.internal.UnderlyingTypes
 
@@ -52,7 +53,10 @@ module ClassValidator {
 
   pragma[noinline]
   private ClassDefinition getClassReferencedByPropRead(DataFlow::PropRead read) {
-    UnderlyingTypes::nodeHasUnderlyingClassType(read.getBase().asExpr(), result.flow())
+    exists(NameResolution::Node type |
+      TypeResolution::valueHasType(read.getBase().asExpr(), type) and
+      UnderlyingTypes::nodeHasUnderlyingClassType(type, result.flow())
+    )
   }
 
   /**