Svetlana Isakova 3eee19578a complete inference for inner calls after resolve&inference of outer call finishes ...

deferredComputationsForArguments stored in ResolvedCallImpl,
'completeValueArgumentsInference' completes inference for inner calls recursively

2013-02-08 15:10:42 +04:00

..

complicated

complete inference for inner calls after resolve&inference of outer call finishes

2013-02-08 15:10:42 +04:00

regressions

KT-3301 Inference with several supertypes fails

2013-01-30 20:29:30 +04:00

reportingImprovements

checking subtype for invariant type with error generic argument may success

2012-12-26 18:58:57 +04:00

upperBounds

substitute upper bounds after creating all substitutions for type parameters

2013-02-08 15:10:40 +04:00

varargs

KT-2729 Warn on 'T?' where 'T' has a nullable upper bound

2012-10-19 19:42:54 +04:00

arrayConstructor.kt

regenerated diagnostics tests

2012-07-20 19:34:52 +04:00

cannotCompleteResolveAmbiguity.kt

complete type inference only for one candidate

2012-11-12 15:32:11 +04:00

cannotCompleteResolveFunctionLiteralsNoUse.kt

complete type inference only for one candidate

2012-11-12 15:32:11 +04:00

cannotCompleteResolveNoInfoForParameter.kt

complete type inference only for one candidate

2012-11-12 15:32:11 +04:00

cannotCompleteResolveNoneApplicable.kt

complete type inference only for one candidate

2012-11-12 15:32:11 +04:00

cannotCompleteResolveWithFunctionLiterals.kt

complete type inference only for one candidate

2012-11-12 15:32:11 +04:00

completeInferenceIfManyFailed.kt

KT-2729 Warn on 'T?' where 'T' has a nullable upper bound

2012-10-19 19:42:54 +04:00

conflictingSubstitutions.kt

diagnostic tests changes after collections mapping

2012-09-05 18:55:16 +04:00

dependantOnVariance.kt

added variance handling to constraint system

2012-08-06 18:18:26 +04:00

dependantOnVarianceNullable.kt

added annotations for Collections and Arrays

2012-09-24 14:18:04 +04:00

dependOnExpectedType.kt

Redundant/conflicting projections

2012-11-24 15:59:16 +04:00

hasErrorInConstrainingTypes.kt

added 'hasErrorInConstrainingTypes'

2012-07-20 19:34:54 +04:00

inferInFunctionLiterals.kt

type inference with functional literal params changed

2012-07-20 19:34:55 +04:00

kt619.kt

KT-619 Type inference fails

2012-07-24 15:53:39 +04:00

kt1293.kt

JetDiagnosticsTest migrated to TestGenerator

2012-07-10 14:48:11 +04:00

kt3184.kt

KT-3184 Type inference seems partially broken

2012-12-27 18:45:24 +04:00

listConstructor.kt

Report an error when variance is specified for a function or property type parameter

2012-11-24 15:59:16 +04:00

mapFunction.kt

diagnostic tests changes after collections mapping

2012-09-05 18:55:16 +04:00

mostSpecificAfterInference.kt

rename error

2012-09-07 19:03:07 +04:00

NoInferenceFromDeclaredBounds.kt

KT-2729 Warn on 'T?' where 'T' has a nullable upper bound

2012-10-19 19:42:54 +04:00

noInformationForParameter.kt

added tests for specific type inference errors

2012-07-20 19:34:54 +04:00

possibleCycleOnConstraints.kt

added annotations for Collections and Arrays

2012-09-24 14:18:04 +04:00

typeConstructorMismatch.kt

added tests for specific type inference errors

2012-07-20 19:34:54 +04:00

typeInferenceExpectedTypeMismatch.kt

added error TYPE_INFERENCE_EXPECTED_TYPE_MISMATCH

2012-07-20 19:34:54 +04:00