9db3440e72
Fix type inference issues for 'if' and 'when'.
...
Use 'expectedType' (when present) as an explicit type argument for a special construct call.
Unfortunately, this approach can't be used for elvis due to other elvis-related inference hacks.
Fixes KT-10807, KT-10811.
This also affects KT-6189: now we can infer proper type for 'if'.
If type inference for special call failed, and we found no type errors in sub-expressions,
report TYPE_INFERENCE_FAILED_ON_SPECIAL_CONSTRUCT error.
This (and the hack above) fixes KT-10809: code no longer compiles.
2016-01-27 17:07:20 +03:00
f4822cd757
Fix testData in compiler: add collections and ranges package to fq-names.
2016-01-22 05:54:38 +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
9b11b5300c
Elvis DFA: now only left part is taken into account #KT-9100 Fixed
...
I had to fix a few incorrect tests using something like x!! in Elvis right part, and also one bug in our code
2015-09-10 17:50:57 +03:00
bc5c9065d2
fix tests in org.jetbrains.kotlin.checkers
2015-09-08 02:04:32 +03:00
4bdf598bfe
compiler testdata: s/trait/interface
2015-05-12 19:43:17 +02:00
9975bb8935
replace 'trait' keyword with 'interface' in user-visible messages and code generation tools
2015-05-12 11:49:37 +02: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
7f62675665
Fixed error reporting for special constructions (if, elvis)
...
Track whether an error was reported for sub expressions (like 'if' branches) or it should be reported for the whole expression
#KT-6189 Fixed
2014-11-21 14:02:42 +03:00
b7c473f59e
Update lazy.log files
2014-11-17 17:45:01 +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
3a8ad45dec
Append newline to EOF for .txt test data files
...
Reverts and fixes 102f0d3
2014-10-21 03:18:27 +04:00
ce01c61811
Rename: auto cast -> smart cast
2014-10-01 18:52:52 +04:00
e796f88b38
Regenerate test data with constructed descriptors for diagnostics tests
2014-09-18 17:58:23 +04:00
c30259dfbe
added info about smart casts to diagnostic tests
2013-12-11 19:53:50 +04:00
4621fe6dfa
resolve elvis operator as call
2013-09-03 13:09:02 +04:00
aba70e047d
resolve a!! as call
2013-09-02 23:18:46 +04:00
Dmitry Petrov