9cecd69a9e
Drop unneeded condition that leads to error
...
This check is obsolete but leads to problems.
It appears when resolving recursive calls (see sameTypeParameterUse.kt):
`foo<R>(x: R, y: R)` within call `foo<R>(x, "")` after substitution
has R as type of it's second argument, and when checking value arguments,
x is not checked because supposed to be dependent on type parameter of candidate
(that is effectively false), so there are two successful candidates
in resolution results and wrong OVERLOAD_RESOLUTION_AMBIGUITY error.
2015-03-17 23:18:34 +03:00
7b837e2631
Updata test data: txt files for diagnostics tests
2015-02-16 15:38:36 +03:00
fecf6f9fdf
Star projection information preserved in substitutions
...
#KT-6700 Fixed
2015-02-02 19:52:01 +03:00
da639039bd
KT-6698 Bad class file when using a star-projection on a Java's recursive generic parameter
...
#KT-6698 Fixed
2015-02-02 19:52:00 +03:00
7a5124215a
Updated test data for Array<out T> vararg type
2014-12-12 23:08:28 +03:00
02be1063c1
Do not report a warning on an inline function with a reified parameter
...
#KT-6273 Fixed
2014-11-27 13:49:17 +04:00
0eee83b6ec
Lazy logs removed
2014-11-21 18:59:45 +03:00
2a83053355
Updated lazy log tests
2014-11-21 14:02:45 +03:00
0719297d8f
Uncommented test when extensions are called for nested calls
2014-11-21 14:02:42 +03:00
b7c473f59e
Update lazy.log files
2014-11-17 17:45:01 +03:00
d2cfcfa659
Fix test data after changes to renderer and descriptors
2014-11-14 17:09:05 +03:00
b3691b7358
Frontend changes for reified type parameters
...
Allowing reified only for inline functions and Intrinsics
2014-11-13 20:56:09 +03:00
4f0d83a7fe
Update lazy logs after field rename
2014-11-11 18:35:39 +03:00
4892369cf4
Diagnostic tests are logging their lazy activity
2014-11-10 17:24:04 +02:00
8436147cec
KT-1056 Don't allow passing type arguments to T
...
#KT-1056 Fixed
2014-11-10 17:23:58 +02:00
0e42de4e99
CHECK_TYPES injected through imports
2014-10-22 00:41:19 +04:00
3a8ad45dec
Append newline to EOF for .txt test data files
...
Reverts and fixes 102f0d3
2014-10-21 03:18:27 +04:00
6564231040
Descriptor test data for diagnostic tests fixed
2014-10-13 15:38:10 +04:00
25efd6684f
Missing test data generated
2014-10-13 15:38:10 +04:00
12d18533e8
Recursion depth in CommonSupertypes is bounded by maxDepth + 3
2014-10-13 15:37:59 +04:00
e796f88b38
Regenerate test data with constructed descriptors for diagnostics tests
2014-09-18 17:58:23 +04:00
040d1693e8
Minor: revert semicolons after package declaration for java parts inside kt file.
2014-09-18 16:00:45 +04:00
30208d5532
Minor: drop semicolon in package declaration everywhere.
2014-09-16 19:32:37 +04:00
dd6940be41
added CHECK_TYPE directive to diagnostic tests
2013-12-19 13:01:05 +04:00
7af72b98fe
Resolve generic bounds of all classes prior to supertypes
2013-12-04 15:57:53 +04:00
c1ec8cbde9
check Nothing type for all expressions not only for calls and simple names
...
(but excluding statement expressions)
2013-11-22 18:57:58 +04:00
38b38e7b6d
KT-4198 On covariant projection, do not throw whole var's away
...
#KT-4198 Fixed
2013-11-18 18:30:41 +04:00
f05f3f5686
Let the user know that class object bounds are not supported
...
KT-4080 Code analisys show all good, but got compile error
#KT-4080 Fixed
2013-10-15 14:45:22 +04:00
48625dd7b6
Disallowed using type parameter as reified type argument.
...
#KT-3050 fixed
2013-10-01 15:06:57 +04:00
a9134f8eff
Do not allow inference of type arguments on the rhs if there's no information available
2013-09-13 22:41:06 +02:00
e3079ac667
Erased casts supported
2013-09-05 14:17:33 +04:00
9d538dad8a
EA-36903 - ISE: JavaTypeTransformer$.visitClassType Fixed
2013-01-10 16:16:49 +04:00
304926005f
Proper errors for cases like 'is Map' supported in 'when'
2012-11-27 21:15:37 +04:00
dff5f382ab
Special diagnostics when no type arguments passed on teh right-hand side of 'is' expression
...
Example:
if (a is Map) // ERROR: Say 'Map<*, *>' if you don't want to pass type arguments
2012-11-27 16:47:38 +04:00
c849a0c4e3
Redundant/conflicting projections
2012-11-24 15:59:16 +04:00
3d8d92c7d3
JetDiagnosticsTest migrated to TestGenerator
...
- test data files renamed from *.jet to *.kt
2012-07-10 14:48:11 +04:00
2c8b3c879c
TypeSubstitutor rewritten to be more readable
2012-05-04 20:07:40 +04:00
6ba44a133f
Tests for recursive upper bounds
2012-05-04 20:07:39 +04:00
47934b1fe7
KT-1575 Can't define a fix-point generic type
...
#KT-1575 Fixed
2012-05-03 14:43:53 +04:00
Denis Zharkov