azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
41,069 Commits 1 Branch 0 Tags
b12e20b2a3bbbc20b0fb635b26e700a76710aef6
Commit Graph

232 Commits

Author SHA1 Message Date
baratynskiy 01883a41cb javac-wrapper: refactoring, fixes and tests 2017-08-29 18:01:36 +03:00
Mikhail Zarechenskiy ae3497c6ce Reduce highlighting range for UNCHECKED_CAST 
#KT-18985 Fixed
 2017-08-07 18:49:58 +03:00
Mikhail Zarechenskiy 3fb865e07c Move test for NI to diagnostic tests and add "todo" 2017-08-07 18:01:16 +03:00
Stanislav Erokhin 73cc1fdd9c [NI] Resolve type variable to Nothing for TO_SUBTYPE direction. 2017-07-14 12:43:04 +03:00
Stanislav Erokhin 6e24b0f89d [NI] Approximate captured types when we resolve type variable TO_SUPER. 2017-07-14 12:43:04 +03:00
Stanislav Erokhin 53caa84db9 [NI] Add constrains even we try add constraint like TypeVariable <: CapturedType from subtyping. 
If such captured type has lower type, then from TypeVariable <: lowerType => TypeVariable <: CapturedType.
 2017-07-14 12:43:04 +03:00
Stanislav Erokhin 0fadf0bf70 [NI] Approximate captured types before type variable fixation. 
We prefer denotable types when we solve constraint system.
I.e. if for T we have not equality constraint with captured type we can approximate captured type to denotable type.
 2017-07-14 12:43:03 +03:00
Stanislav Erokhin b4bf534d29 [NI] Capture from supertypes of type parameter. 
This works by accident in OI, so this should be supported by new inference.
 2017-07-14 12:43:03 +03:00
Mikhail Zarechenskiy e82c909f75 Use more specific status to report diagnostics 
#KT-12737 Fixed
 2017-07-12 14:37:26 +03:00
Mikhail Zarechenskiy 178bb900b4 Introduce inapplicable wrong receiver status to improve diagnostics 
#KT-10754 Fixed
 2017-07-12 14:37:26 +03:00
Mikhail Zarechenskiy 0d6b7bb6a1 Prohibit check for instance of a non-reified, non-subtype type parameter 
#KT-12683 Fixed
 #KT-9986 Fixed
 2017-04-05 21:35:07 +03:00
Mikhail Glukhikh 7a53b2f4c8 Introduce UNUSED_ANONYMOUS_PARAMETER for anonymous functions 
It is not reported for 1.0 language version because
renaming to _ is not possible. It has weak warning severity

So #KT-8813 Fixed
So #KT-16875 Fixed
 2017-04-04 14:23:30 +03:00
Dmitry Petrov 954204da82 KT-1560 
Report warning on extensions shadowed by members.
 2017-01-16 17:25:13 +03:00
Mikhail Zarechenskiy cff0865c87 Fix error type for implicit invoke with function literal argument 
#KT-11401 Fixed
 2017-01-10 11:44:51 +03:00
Mikhail Zarechenskiy 38a2518498 Fix computation of erased receiver for intersection types 
#KT-9630 Fixed
 2016-12-26 22:34:40 +03:00
Mikhail Zarechenskiy e67543e08e Revert "Update test data as operator 'mod' became deprecated" 
This reverts commit 040f4e90ce.
 2016-12-14 15:29:00 +03:00
Mikhail Zarechenskiy 040f4e90ce Update test data as operator 'mod' became deprecated 
Revert this commit after changing 'mod' to 'rem' in stdlib
 2016-12-09 16:59:25 +03:00
Denis Zharkov cbebb06574 Do not return star-projections during approximation 
See comment in test for clarification

 #KT-14453 Fixed
 2016-12-01 13:39:38 +03:00
Denis Zharkov 4c69416f2b Report warning on unused entities that can be renamed to _ 
Currently it's all about lambda parameters/destructuring entries

 #KT-14347 In Progress
 2016-10-24 10:19:25 +03:00
Valentin Kipyatkov 41ee06ec96 Use parameter names in DescriptorRenderer 2016-10-11 23:38:49 +03:00
Denis Zharkov 6663054f4d Fix false positive "Cannot capture" error reporting 
There is no need to report an error in case of non-top-level
capture conversion, just don't add relevant capture type in the system instead

If system can be solved successfully without captured type, then it's just fine
(see KT-13950)
In case of contradiction TYPE_INFERENCE_PARAMETER_CONSTRAINT_ERROR is reported

 #KT-13950 Fixed
 2016-09-21 18:05:26 +03:00
Mikhail Glukhikh 11f50186fa x?.y != null and x?.call() != null provoke now x != null, a set of tests #KT-2127 Fixed 2016-07-21 21:15:19 +03:00
Denis Zharkov d0acb3674a Fix rendered testData 
New members in enum member scope
 2016-05-16 15:38:13 +03:00
Pavel V. Talanov d7dc122298 KT-11721 Wrong "Typechecker has run into recursive problem" on calling kotlin get function as synthetic property 
#KT-11721 Fixed
 2016-03-31 19:33:04 +03:00
Pavel V. Talanov d0b27a5fe2 Update test data for diagnostics test 2016-02-26 14:45:07 +03:00
Alexander Udalov 1b8f934b54 Delete deprecated enum 'values' property 2016-02-19 22:28:44 +03:00
Denis Zharkov 855a0b3493 Force type calculation for local function if it should be inferred 
It helps to catch TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM errors
because they appear after return type calculation began

 #KT-6271 Fixed
 #KT-3272 Obsolete
 2016-01-29 14:36:53 +03:00
Stanislav Erokhin 298a075381 Minor. removed functions which declared in Standard.kt from diagnostic testdata. 
Removed declaration for functions: TODO, run, with, apply, let.
 2016-01-25 19:13:31 +03:00
Denis Zharkov 6c0cd70a22 Introduce PureReifiable annotation 
It prevents reporting unsafe substitution warning on expressions
like 'arrayOf(arrayOf(""))'
 2016-01-22 19:17:22 +03:00
Denis Zharkov 751f66c656 Report warning on generic type as argument for reified parameter 
#KT-6484 Fixed
 2016-01-22 19:17:22 +03:00
Ilya Gorbunov f4822cd757 Fix testData in compiler: add collections and ranges package to fq-names. 2016-01-22 05:54:38 +03:00
Denis Zharkov 397d2ca312 Fix captured approximation for case of flexible types 
#KT-9294 Fixed
 2015-12-28 11:13:38 +03:00
Denis Zharkov e2c02f825f Refine member scope for types with projections 
Instead of erasing descriptors with conflicting substitution,
use invariant CapturedType(<projection>) as replacement for type parameter
within default member scope.

After substitution leave such types 'as is' everywhere except return types,
use common approximation for them.

 #KT-9294 In Progress
 #KT-5411 Fixed
 #KT-8647 Fixed

 #KT-9462 Fixed
 #KT-9893 Fixed
 #KT-7581 Fixed
 #KT-7296 In Progress
 2015-12-28 11:13:37 +03:00
Denis Zharkov 365ff593f3 Extract and normalize member scope calculation 
Basically it's wrong to use original types' member scope
as a worker for SubstitutionScope.
Member scope should always be determined by type constructor's default one
and substitution/arguments

 #KT-10448 Fixed
 2015-12-28 07:44:56 +03:00
Denis Zharkov 3fd35636ad Fix type parameter list for local classes 
Add captured parameters from enclosing functions

 #KT-9584 Fixed
 2015-12-28 07:44:53 +03:00
Ilya Gorbunov 4dde59368c Fix tests not to duplicate array constructor definitions as they are available now in builtins. 2015-12-14 04:29:18 +03:00
Mikhail Glukhikh c8b50eec1e Enum.values: deprecation (warning) --> deprecation (error) 2015-12-11 11:11:42 +03:00
Alexander Udalov d3c17ec337 Report error when type parameter has a type parameter bound and any other bound 
To prevent issues with erasure on JVM: it's unclear what such type parameter
should be erased to
 2015-12-07 15:47:47 +03:00
Mikhail Glukhikh 5729855e4f Type parameter as result type: more precise expected type definition #KT-5385 Fixed 
Tests for KT-5385 KT-10223 KT-7800 KT-7817 + something related
 2015-12-04 19:00:24 +03:00
Mikhail Glukhikh dc60c62781 Enum.values is now deprecated but Enum.values() is no more deprecated 2015-11-23 17:29:36 +03:00
Alexander Udalov e50eb50299 Make getNestedTypeVariables() an utility 2015-11-18 16:40:44 +03:00
Denis Zharkov e920ce709b Render captured type parameters in verbose mode 2015-11-13 14:59:04 +03:00
Alexey Tsvetkov 1e2256207c Update test data 2015-10-19 20:45:02 +03:00
Svetlana Isakova cb34498278 Check nullability in initial constraints 
except constraints for receiver type (it can be accessed via safe call)
 2015-10-19 14:15:06 +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
Denis Zharkov 1c02231cda Regenerate rendered descriptors after transforming Enum.values to property 2015-10-17 17:46:16 +03:00
Denis Zharkov bd37a10677 Transform *Array.size to properties 2015-10-16 18:16:02 +03:00
Michael Nedzelsky 57205f5721 drop BASE_WITH_NULLABLE_UPPER_BOUND 2015-10-14 20:51:01 +03:00
Alexander Udalov ec1b4776fe Deprecate PropertyMetadata, use KProperty<*> for delegated properties instead 2015-10-14 20:45:25 +03:00
Mikhail Glukhikh f8a356747e Stdlib rename: 'name' and 'ordinal' are now properties in Enum, same name functions are deprecated 2015-10-14 20:40:13 +03:00