 Ilya Gorbunov
|
f4822cd757
|
Fix testData in compiler: add collections and ranges package to fq-names.
|
2016-01-22 05:54:38 +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 |
|
|
Alexey Tsvetkov
|
1e2256207c
|
Update test data
|
2015-10-19 20:45:02 +03:00 |
|
|
Dmitry Jemerov
|
4c4030dfc1
|
disallow putting type parameter constraints both in type parameter list and in 'where' clause
|
2015-10-08 17:09:57 +02:00 |
|
|
Dmitry Jemerov
|
7c20630272
|
diagnostics for deprecated syntax of function type parameter list
|
2015-10-06 16:20:47 +02:00 |
|
|
Denis Zharkov
|
4850fd10f0
|
Regenerate test data containing rendered descriptors
Introduced '@' after each annotation
|
2015-09-18 10:14:39 +03:00 |
|
|
Michael Nedzelsky
|
bc5c9065d2
|
fix tests in org.jetbrains.kotlin.checkers
|
2015-09-08 02:04:32 +03:00 |
|
|
Svetlana Isakova
|
179c5e3c3a
|
Add a constraint for nested call
if there are no bounds on variables in this call return type
|
2015-07-10 15:05:04 +03:00 |
|
|
Svetlana Isakova
|
9a5abf368f
|
Constraint incorporation
In a constraint system a new bound is incorporated:
all new constrains that can be derived from it
(and from existing ones) are added
|
2015-07-10 15:05:04 +03:00 |
|
|
Dmitry Jemerov
|
4bdf598bfe
|
compiler testdata: s/trait/interface
|
2015-05-12 19:43:17 +02:00 |
|
|
Dmitry Jemerov
|
9975bb8935
|
replace 'trait' keyword with 'interface' in user-visible messages and code generation tools
|
2015-05-12 11:49:37 +02:00 |
|
|
Dmitry Jemerov
|
f374eec8f1
|
deprecating types after colon
|
2015-04-29 16:33:24 +02:00 |
|
|
Evgeny Gerashchenko
|
897854b3dc
|
KT-6671 Report unused constructor parameters
#KT-6671 fixed
|
2015-01-27 22:38:27 +03:00 |
|
|
Svetlana Isakova
|
7a5124215a
|
Updated test data for Array<out T> vararg type
|
2014-12-12 23:08:28 +03:00 |
|
|
Andrey Breslav
|
0eee83b6ec
|
Lazy logs removed
|
2014-11-21 18:59:45 +03:00 |
|
|
Svetlana Isakova
|
2a83053355
|
Updated lazy log tests
|
2014-11-21 14:02:45 +03:00 |
|
|
Stanislav Erokhin
|
b7c473f59e
|
Update lazy.log files
|
2014-11-17 17:45:01 +03:00 |
|
|
Alexander Udalov
|
4f0d83a7fe
|
Update lazy logs after field rename
|
2014-11-11 18:35:39 +03:00 |
|
|
Andrey Breslav
|
4892369cf4
|
Diagnostic tests are logging their lazy activity
|
2014-11-10 17:24:04 +02:00 |
|
|
Alexander Udalov
|
3a8ad45dec
|
Append newline to EOF for .txt test data files
Reverts and fixes 102f0d3
|
2014-10-21 03:18:27 +04:00 |
|
|
Nikolay Krasko
|
e796f88b38
|
Regenerate test data with constructed descriptors for diagnostics tests
|
2014-09-18 17:58:23 +04:00 |
|
|
Svetlana Isakova
|
4657a4b271
|
fixed bug in renderer for violated upper bound error
|
2013-12-27 16:02:16 +04:00 |
|
|
Svetlana Isakova
|
65e2f47bc3
|
try intersection of upper bounds as a suggestion
not each bound itself
while resolving constraint system
|
2013-10-16 19:51:53 +04:00 |
|
|
Svetlana Isakova
|
8a4afb9330
|
support one more special case of propagating bound constraints
(temporary while there is no common constraint system and its resolution)
|
2013-10-16 19:51:53 +04:00 |
|
|
Svetlana Isakova
|
cb25e1d55a
|
if some type parameter has only weak constraints (from bounds), then we consider it as unknown
|
2013-10-16 19:51:53 +04:00 |
|
|
Svetlana Isakova
|
8f1b728a08
|
try to use bounds in type inference
if some parameters are unknown
|
2013-04-03 15:51:17 +04:00 |
|
|
Svetlana Isakova
|
27e6dad307
|
test improved
|
2013-02-08 15:10:43 +04:00 |
|
|
Svetlana Isakova
|
ff01fad3cd
|
substitute upper bounds after creating all substitutions for type parameters
(otherwise it doesn't work for forward references)
|
2013-02-08 15:10:40 +04:00 |
|
|
Svetlana Isakova
|
8f59172f27
|
use declared upper bounds in type inference (not just check them)
- simple cases supported
#KT-2856 fixed
|
2013-02-08 15:10:39 +04:00 |
|