e10f7fb464
Don't report missing getValue/setValue method error when it's was impossible to finish resolve
...
#KT-9803 Fixed
2015-11-04 02:31:15 +03:00
141ffa27dc
val / var are now forbidden on a loop multi declaration parameter #KT-6274 Fixed
...
VAL_OR_VAR_ON_LOOP_MULTI_PARAMETER error added
KtValVarKeywordOwner interface added for PSIs that have getValOrVarKeyword method
2015-11-03 15:30:50 +03:00
41ebfd025e
More precise diagnostics of smart cast impossible #KT-7240 Fixed
2015-11-03 13:38:51 +03:00
03aaddd379
More correct handling of possible type set during assignment #KT-8229 Fixed
2015-11-03 12:49:21 +03:00
0a5a5a2e36
More precise diagnostics is added for smart cast impossible #KT-8810 Fixed
2015-11-03 11:15:58 +03:00
d060687775
Package vs class conflict in qualifier resolution:
...
- add test for unresolved 'a.a' after 'import a.a';
- added TODO in copy-paste test for 'a.a'
2015-11-02 10:22:50 +03:00
e1cb13bd90
Qualifier no longer defers "(nested) class vs package" resolution.
...
Consider FQN 'a.b.c'.
If 'a' is a classifier in the current scope,
resolve rest in the corresponding class scope.
Otherwise (if 'a' is a package),
find the maximum possible prefix 'a.b' resolving to a package,
resolve rest in the corresponding package scope.
2015-11-02 10:22:50 +03:00
77411b2181
Allowed call value with extension function type as simple function type.
2015-10-31 10:01:07 +03:00
b6f724cf58
Disconnect loops between upper bounds of type parameters
...
#KT-9759 Fixed
2015-10-31 09:33:46 +03:00
c75d96b82c
Add testcase for fixed issue
...
#KT-9850 Fixed
2015-10-30 23:41:10 +03:00
dbc00baa48
Test for obsolete KT-5508
...
#KT-5508 Obsolete
2015-10-30 18:57:45 +03:00
947b4d4ce8
Test for obsolete KT-3343
...
#KT-3343 Obsolete
2015-10-30 18:57:42 +03:00
182cde1e02
Standard data flow analysis results are taken into account during condition analysis #KT-7933 Fixed
2015-10-30 16:14:34 +03:00
dd1196ae6b
Condition analysis: left part of and (true condition) / or (false condition) is used for right part analysis #KT-8780 Fixed
2015-10-30 16:14:33 +03:00
12103d19d2
Smart casts inside property chains like a?.b?.c.foo(a, b) are now handled correctly #KT-7290 Fixed
2015-10-30 16:14:32 +03:00
94803ce1c4
Collect overrides of special builtin members in super types
...
#KT-9695 Fixed
2015-10-29 21:05:26 +03:00
d6e87c50ab
Don't use TypeIntersector when loading generic Java constructors
...
This is not entirely type-safe but this case is so rare that hardly anyone will
be able to spot the change
2015-10-28 19:17:56 +03:00
12d6b6e7e4
Use "Any?" as out-type for type parameters instead of intersection of bounds
...
Also refactor checkSubtypeForTheSameConstructor to compute everything in the
best order
2015-10-28 19:12:26 +03:00
bed75e8af2
Remove some unjustified usages of TypeParameterDescriptor#getUpperBoundsAsType
2015-10-28 19:12:24 +03:00
426bddb54e
Move OverridingUtil#getUpperBound to OverloadUtil, add tests on overloads
2015-10-28 19:12:05 +03:00
477823b093
Change override rules when type parameters have multiple bounds
...
Instead of constructing the magic intersection type, compare sets of upper
bounds instead as javac does, modulo the substitution
2015-10-28 19:12:02 +03:00
894a97a549
Rename field for property metadata cache to prevent problems in inline
2015-10-28 19:11:51 +03:00
c123af75fd
issue warning instead of error in case of finite bound or non-expansive inheritance violation in java code
2015-10-28 17:02:02 +03:00
d2c65a5336
Iterative call chain handling to get rid of JetTypeInfoInsideCallChain and other nasty things #KT-9754 Fixed
2015-10-28 16:00:30 +03:00
553834fa9e
KT-9371 Callable reference resolve should not prefer one of the overloads by some magic reasons
...
#KT-9371 Fixed
2015-10-27 15:36:37 +03:00
63f84fc60e
fix KT-9733 No error shown for 2 "main" functions in the same file
...
#KT-9733 Fixed
2015-10-26 21:30:24 +03:00
7c54024a22
Fix private setter visibility for generic class
...
#KT-8888 fixed
2015-10-26 18:36:59 +03:00
d0e01153ec
Effective visibility: java package-private is now considered as equivalent to Kotlin internal #KT-9755 Fixed
2015-10-26 15:00:14 +03:00
98e0771ffa
Abstract var setter visibilities: now only private setters are forbidden
2015-10-26 11:55:34 +03:00
06e90cf6a1
Annotated the return type of 'elvis' function with @Exact
...
fun <T> ELVIS(T?, T): @Exact T
2015-10-22 21:55:12 +03:00
255373162d
KT-9666 Inner classes do not appear in type completion
...
#KT-9666
2015-10-22 18:48:15 +03:00
d5126213d3
Fix for KT-9364: M13 Wrong compiler error for "unable to inline function"
...
#KT-9364 Fixed
2015-10-22 17:20:57 +03:00
829fc6938a
KT-9547: private package member can conflict only with the members
...
declared in the same file.
Cleanup OverloadUtil stuff.
Update testData.
2015-10-22 10:45:49 +03:00
d674aa1427
Refine signature mapping for special overrrides from Java
...
They have special JVM descriptor only when they are not inherited from
Kotlin super class
2015-10-21 17:51:43 +03:00
c46b766fea
Load special property from Java in cases of J-K-J hierarchy
2015-10-21 17:51:43 +03:00
d6988ad69e
Get rid of FIELD_IDENTIFIER at syntax level, two errors dropped, a set of tests fixed / deleted #KT-9539 Fixed
2015-10-21 16:36:55 +03:00
1c36090b6d
check for violation of Finite Bound Restriction and Non-Expansive Inheritance Restriction
2015-10-20 20:06:07 +03:00
3151d4ca9d
Check of type parameter bounds consistency #KT-9438 Fixed
2015-10-20 11:02:19 +03:00
8e6b0a26bb
Synthetic extensions to take all annotations from original declarations
...
#KT-9387 Fixed
2015-10-20 10:12:34 +03:00
c459e78a7d
Prohibit inline modifier on property, getter or setter
2015-10-19 20:45:02 +03:00
1e2256207c
Update test data
2015-10-19 20:45:02 +03:00
dc27363452
Remove @annotation from test data
2015-10-19 20:45:01 +03:00
1973573a89
Remove @data from test data
2015-10-19 20:45:00 +03:00
e7fb7483c5
Drop package facades: update compiler tests.
2015-10-19 16:03:16 +03:00
8d88109c00
Underscore names are now forbidden
2015-10-19 15:24:45 +03:00
059175560c
No __ as lambda parameter
2015-10-19 15:24:39 +03:00
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
bb9f7094e0
Report 'TYPE_INFERENCE_EXPECTED_TYPE_MISMATCH'
...
on call element, not on callee expression
2015-10-19 14:15:05 +03:00
b2470a6aad
Report warning on unary plus()/minus()
2015-10-19 11:51:54 +03:00
e14c9645dc
Error on 'if' without an 'else' branch when used as an expression
2015-10-19 03:56:15 +03:00
Nikolay Krasko