Deferred types are computed at the end of the top-down analysis

idea/testData/checker/regression/Jet81.jet

@@ -14,9 +14,9 @@ val a = object {
   {
     b + 1
   }
-  val x = <error>b</error>
+  val x = b
   val y = 1
 }
 
-val b = a.x
+val b = <error>a</error>.x
 val c = a.y

idea/testData/checkerWithErrorTypes/full/regression/Jet81.jet

@@ -14,9 +14,9 @@ val a = object {
   {
     b + 1
   }
-  val x = <!TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>b<!>
+  val x = b
   val y = 1
 }
 
-val b = a.x
+val b = <!TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>a<!>.x
 val c = a.y

idea/testData/checkerWithErrorTypes/quick/DeferredTypes.jet

@@ -0,0 +1,3 @@
+trait T {
+  val a = <!PROPERTY_INITIALIZER_IN_TRAIT!><!UNRESOLVED_REFERENCE!>Foo<!>.bar()<!>
+}