Mikhail Glukhikh
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
Michael Nedzelsky
1c36090b6d
check for violation of Finite Bound Restriction and Non-Expansive Inheritance Restriction
2015-10-20 20:06:07 +03:00
Mikhail Glukhikh
4501836b33
Java 8 tests fixed (txt only)
2015-10-20 11:18:38 +03:00
Mikhail Glukhikh
3151d4ca9d
Check of type parameter bounds consistency #KT-9438 Fixed
2015-10-20 11:02:19 +03:00
Valentin Kipyatkov
8e6b0a26bb
Synthetic extensions to take all annotations from original declarations
...
#KT-9387 Fixed
2015-10-20 10:12:34 +03:00
Ilya Gorbunov
6ac28facf1
Fix deprecations in tests
2015-10-20 02:31:51 +03:00
Svetlana Isakova
667f6269e4
Filter internal annotations for resolve in type substitutor
...
to avoid having List<@NoInfer Int> as a result type
of function invocation (the function returns List<@NoInfer T>)
2015-10-19 23:02:03 +03:00
Svetlana Isakova
6ced795db6
Fixed the problem with 'OnlyInputTypes' annotation
2015-10-19 21:35:57 +03:00
Alexey Tsvetkov
c459e78a7d
Prohibit inline modifier on property, getter or setter
2015-10-19 20:45:02 +03:00
Alexey Tsvetkov
1e2256207c
Update test data
2015-10-19 20:45:02 +03:00
Alexey Tsvetkov
dc27363452
Remove @annotation from test data
2015-10-19 20:45:01 +03:00
Alexey Tsvetkov
1973573a89
Remove @data from test data
2015-10-19 20:45:00 +03:00
Dmitry Petrov
e7fb7483c5
Drop package facades: update compiler tests.
2015-10-19 16:03:16 +03:00
Mikhail Glukhikh
8d88109c00
Underscore names are now forbidden
2015-10-19 15:24:45 +03:00
Mikhail Glukhikh
059175560c
No __ as lambda parameter
2015-10-19 15:24:39 +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
Svetlana Isakova
4c85b69c88
Report type inference error
...
when inference failed with 'NoInfer' annotation
2015-10-19 14:15:05 +03:00
Yan Zhulanow
b2470a6aad
Report warning on unary plus()/minus()
2015-10-19 11:51:54 +03:00
Yan Zhulanow
3a89c2194a
Fix Java 8 tests (annotation methods are not loaded as functions anymore)
2015-10-19 03:56:15 +03:00
Yan Zhulanow
e14c9645dc
Error on 'if' without an 'else' branch when used as an expression
2015-10-19 03:56:15 +03:00
Svetlana Isakova
7208efc784
Fix tests with type annotations
2015-10-17 19:07:25 +03:00
Denis Zharkov
cc94acdabc
Do not load common for special properties from Java
...
I.e. do not treat getName in Java enum as override of Enum.name
2015-10-17 17:46:17 +03:00
Denis Zharkov
28c46b73f1
Rename some of builtin parameters
2015-10-17 17:46:16 +03:00
Denis Zharkov
1c02231cda
Regenerate rendered descriptors after transforming Enum.values to property
2015-10-17 17:46:16 +03:00
Denis Zharkov
d8ede6d03e
Transform Enum.values to property
2015-10-17 17:46:16 +03:00
Stanislav Erokhin
7d7d37719b
Forbidden old invokeExtension convention.
2015-10-17 14:45:53 +03:00
Yan Zhulanow
3bb1b1adfd
Put property delegates -related warnings on 'by'
2015-10-16 22:20:06 +03:00
Yan Zhulanow
b42d913bd7
Unify 'lateinit' diagnostics
2015-10-16 22:19:33 +03:00
Yan Zhulanow
9ae3b0fa9c
Drop loading Java annotation methods as functions
2015-10-16 22:13:34 +03:00
Svetlana Isakova
a6ec5cecc0
Added 'OnlyInputTypes' annotation
2015-10-16 21:58:46 +03:00
Svetlana Isakova
082469aee4
Resolve annotations on type parameters of functions and properties
2015-10-16 21:58:45 +03:00
Svetlana Isakova
9b440345a1
Do not render @NoInfer, @Exact annotations
...
For now they are always not rendered,
but later they should be rendered in descriptors, but omitted in error messages
2015-10-16 21:58:45 +03:00
Svetlana Isakova
566e27788f
Moved @NoInfer, @Exact to internal package
2015-10-16 21:58:44 +03:00
Svetlana Isakova
b401d46ae4
Check annotations on type arguments
2015-10-16 21:58:44 +03:00
Svetlana Isakova
6c4771147a
Added more tests on annotations for nullable types
2015-10-16 21:58:43 +03:00
Mikhail Glukhikh
4b35e3b135
Preliminary declaration visitor for estimating local variable's predictability for smart casts
...
Predictability estimation algorithm is completely new, but backward compatibility should present.
A large set of tests. Some updated tests.
Smart casts allowed for captured variables if they are not modified in closure #KT-9051 Fixed
Also #KT-8643 Fixed
Also #KT-7976 Fixed
Correct handling of lambda arguments in functions #KT-9143 Fixed
2015-10-16 20:47:47 +03:00
Stanislav Erokhin
d5dbc9638d
Added static methods, nested classes and companion object from superclasses.
2015-10-16 20:42:34 +03:00
Stanislav Erokhin
ace99f6c3f
Don't use ForceResolveUtil.forceResolveAllContents in TypeResolver in order to avoid problems with cyclic hierarchy.
2015-10-16 20:42:33 +03:00
Denis Zharkov
bd37a10677
Transform *Array.size to properties
2015-10-16 18:16:02 +03:00
Andrey Breslav
b050324869
Mark string prefixes and suffixes as unsupported
2015-10-16 18:03:53 +03:00
Zalim Bashorov
79d38a6c8f
Report the error when a declaration in Kotlin accidentally overrides a static member from Java
2015-10-16 16:14:34 +03:00
Zalim Bashorov
72a686f9e0
Add tests for accessing to Java/Kotlin inner/nested classes
2015-10-16 16:09:35 +03:00
Michael Nedzelsky
8e9f1ac31a
Extension function type is not allowed as supertype
2015-10-16 14:23:47 +03:00
Valentin Kipyatkov
d84020b1f3
Removed special support for parsing annotations for multi-declaration in for
2015-10-15 19:20:08 +03:00
Valentin Kipyatkov
98dc8f234e
Drop suppport for annotation syntax without '@' from parser
2015-10-15 19:20:07 +03:00
Alexander Udalov
bf4a681589
Deduce receiver type of callable reference from LHS, not from descriptor
2015-10-15 18:25:42 +03:00
Alexander Udalov
2cf437c0e2
Fix type of callable reference to fake override
2015-10-15 18:25:41 +03:00
Yan Zhulanow
d52f245cf7
Rename unary plus/minus in builtins and stdlib
2015-10-15 18:23:58 +03:00
Michael Nedzelsky
890ae3e914
Make single-file classes tolerant to having many main()'s
2015-10-15 15:46:26 +03:00