This also fixes handling of self-recursive types. TODO: fix jspecify/{strict,warn}Mode/Captured.fir.kt
ProperTypeInferenceConstraintsProcessing
^KT-47316 Fixed