2 Commits

Author	SHA1	Message	Date
Kirill Rakhman	fbf68a5bcc	[FIR] Narrow down range of NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER ... This uses the same approach as INFERRED_TYPE_VARIABLE_INTO_EMPTY_INTERSECTION where we use a visitor to find a call to a symbol that contains the type variable in question. #KT-56140 Fixed	2023-09-22 13:49:59 +00:00
Victor Petukhov	0857b9c9e7	Rethink constraints incorporation ... Namely, remove incorporation “otherInsideMyConstraint” to eliminate constraint system redundancy and produce a potentially very large number of constructs. Instead, introduce not so “spreadable” incorporation during variable fixation (equality constraint with result type into other constraints). ^KT-41644 Fixed ^KT-42195 Fixed ^KT-42920 Fixed ^KT-42791 Fixed ^KT-41741 Fixed	2020-11-25 11:15:20 +03:00