Added comment

2014-12-03 20:12:44 +03:00
parent b8a0a1a313
commit 3161eb284b
1 changed files with 2 additions and 0 deletions
@@ -102,6 +102,8 @@ class FuzzyType(
        }

        if (constraintSystem.getStatus().isSuccessful() && ConstraintsUtil.checkBoundsAreSatisfied(constraintSystem, true)) {
+            // currently ConstraintSystem return successful status in case there are problems with nullability
+            // that's why we have to check subtyping manually
            val substitutor = constraintSystem.getResultingSubstitutor()
            val substitutedType = substitutor.substitute(type, Variance.INVARIANT)
            return if (substitutedType != null && substitutedType.checkInheritance(otherType)) substitutor else null