Merge pull request #13517 from dotty-staging/fix-i13513

Fix crash on uninstantiated field access

Author: Kordyjan

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -3876,6 +3876,8 @@ object Types {
                   x.declaredVariance == y.declaredVariance))
         && {
           val bs1 = new BinderPairs(this, that, bs)
+          // `paramInfos` and `resType` might still be uninstantiated at this point
+          paramInfos != null && resType != null &&
           paramInfos.equalElements(that.paramInfos, bs1) &&
           resType.equals(that.resType, bs1)
         }

tests/neg/i13513.scala

@@ -0,0 +1,5 @@
+final case class TwoTypes[F, A](value: A)
+class Minimal {
+  def x[C[_]]: C[Int] = ???
+  x[TwoTypes].value // error:  Type argument TwoTypes does not conform to upper bound [_] =>> Any
+}