kotlin-fork

Author SHA1 Message Date

Author	SHA1	Message	Date
Denis.Zharkov	6052e24626	K2: Adjust test data after PCLA implementation [red-to-red] ^KT-59791 In Progress	2024-01-10 14:56:30 +00:00
Victor Petukhov	848075192c	[FE 1.0] Don't use `BuilderInferenceSubstitutionConstraintPosition` for declared upper bound constraint with no substituted upper bound It leads to further infer type variable into those upper bounds which is forbidden Substituted upper bounds is ok because specific substituted types came from constraints of other proper positions, or if specific substituted type is from declared upper bound too, then there should be another declared upper bound with no substitution ^KT-51464 Fixed ^KT-47986 Fixed	2022-05-31 14:13:28 +00:00

Denis.Zharkov

6052e24626

K2: Adjust test data after PCLA implementation [red-to-red]

^KT-59791 In Progress

2024-01-10 14:56:30 +00:00

Victor Petukhov

848075192c

[FE 1.0] Don't use BuilderInferenceSubstitutionConstraintPosition for declared upper bound constraint with no substituted upper bound

It leads to further infer type variable into those upper bounds which is forbidden

Substituted upper bounds is ok because specific substituted types came from constraints of other proper positions, or if specific substituted type is from declared upper bound too, then there should be another declared upper bound with no substitution

^KT-51464 Fixed
^KT-47986 Fixed

2022-05-31 14:13:28 +00:00

2 Commits