yieldTypes

Source span -> rendered type, for every SCOPE yield call in fir. Read after resolution: the type argument is inferred from the value, so before it there is nothing to render.

Approximated as a declared type would be. Inference hands back forms no declaration can carry — listOf(1, "a") resolves to List<Comparable<*> & Serializable> — and a single-tick result already reports the approximated one, its property type having gone through this same rule on the way to being declared.