 Ilya Chernikov
|
70c89a28e1
|
Stop subtyping constraint search if equality constraints for...
all not fixed type vars are found
#KT-35626 fixed
|
2020-03-12 08:02:45 +01:00 |
|
|
Pavel Kirpichenkov
|
384bd858e9
|
[NI] Support fixation to subtype in completion mode calculator
Allow full compltion mode for return type depending on type parameters in
contravariant position only if they have proper equality constraint.
|
2019-12-25 14:59:05 +03:00 |
|
|
Mikhail Zarechenskiy
|
d40313a8d7
|
[NI] Allow capturing type projections with type variables
#KT-25302 Fixed
|
2019-04-25 16:19:35 +03:00 |
|
|
Mikhail Zarechenskiy
|
abd1c3df26
|
[NI] Fix diagnostic reporting and unveil problem wrt captured types
|
2019-04-25 16:19:32 +03:00 |
|
|
Mikhail Zarechenskiy
|
4cd07f59a0
|
[NI] Don't fail on captured type that contains type variable
|
2018-01-30 13:00:42 +03:00 |
|
|
Mikhail Zarechenskiy
|
8757298994
|
Add diagnostics to test data from NI
|
2017-11-29 02:54:26 +03:00 |
|
|
Mikhail Zarechenskiy
|
a71238bf94
|
Place !WITH_NEW_INFERENCE directive to diagnostics test data
|
2017-11-29 02:53:49 +03:00 |
|
|
Svetlana Isakova
|
bb9f7094e0
|
Report 'TYPE_INFERENCE_EXPECTED_TYPE_MISMATCH'
on call element, not on callee expression
|
2015-10-19 14:15:05 +03:00 |
|
|
Evgeny Gerashchenko
|
897854b3dc
|
KT-6671 Report unused constructor parameters
#KT-6671 fixed
|
2015-01-27 22:38:27 +03:00 |
|
|
Svetlana Isakova
|
0530df6f7b
|
use TypeCheckingProcedure for generating constraints
(in ConstraintSystemImpl)
|
2013-03-07 13:11:21 +04:00 |
|
|
Svetlana Isakova
|
492d4da56d
|
added variance handling to constraint system
|
2012-08-06 18:18:26 +04:00 |
|