4 Commits

Author	SHA1	Message	Date
Mikhail Glukhikh	aea7b8f00a	Common supertypes: unwrap captured type from DNN type during recursion control ... This commit handles subtle situation when K1 represents flexible type arguments as just T..T?, but K2 does it as T&Any..T?. This can provoke a type like Captured(*)&Any..Captured(*)?, and before this commit we couldn't find recursion inside Captured(*)&Any. This could lead to explosions inside type system and inference errors #KT-60581 Fixed	2023-10-05 12:17:17 +00:00
Victor Petukhov	42e71f8c53	Remove explicit enabling the new type inference from test data	2022-07-22 16:03:52 +00:00
Victor Petukhov	ac7b459f2a	Do subtyping with stub types properly ... 1) Return stub type if we are calculating super type between two same stub types 2) Return nullable Any if those stub types are different	2021-05-28 15:36:15 +03:00
Pavel Kirpichenkov	003ba1c8f5	[NI] CST: add preemptive recursion detection ... For single super type constructor create star projection argument when types for that argument are equal to the original types. Captured star projections are replaced with their corresponding supertypes during this check. Skip check for `in` parameters, for which recursive cst calculation does not happen. Adjust constant in fallback recursion condition. ^KT-38544 Fixed	2020-05-12 11:13:43 +03:00