Commit Graph

104 Commits

Author SHA1 Message Date
Anna Kozlova
010dd7c48d testdata for IDEA-136708 2015-10-05 11:51:32 +02:00
Anna Kozlova
75c14f25b6 testdata for IDEA-138752 2015-10-05 11:51:30 +02:00
Anna Kozlova
76c7aaf56e new inference inside enum constants (IDEA-145211) 2015-09-17 13:42:49 +03:00
Anna Kozlova
f61de7a241 method refs: ensure inference from captured return type (IDEA-145152) 2015-09-16 18:53:31 +03:00
Anna Kozlova
4518420113 don't correct substitution if not applicable, e.g. for unresolved functional types 2015-08-18 19:15:37 +02:00
Anna Kozlova
3a9f429d3e method references on lambda parameters for incomplete code (EA-66008 - assert: InferenceSession.collectApplicabilityConstraints) 2015-07-22 12:34:09 +02:00
Anna Kozlova
024f917277 method refs: return type check fix for raw constructor (IDEA-142302) 2015-07-06 17:37:31 +03:00
Anna Kozlova
fe400fc988 method refs: infer 'diamond' if constructor ref type is raw (IDEA-142142) 2015-07-02 20:08:10 +03:00
Anna Kozlova
74f9ac5a46 method ref: don't check method reference qualifier against functional interface (IDEA-141343) 2015-06-11 16:46:12 +03:00
Anna Kozlova
f18948a3a2 testdata for IDEA-140586 2015-05-21 21:53:42 +02:00
Anna Kozlova
db72cccc97 method refs: missed qualifier substitution for return type (IDEA-140539) 2015-05-21 14:11:26 +02:00
Anna Kozlova
1d5ff33cbe extend check for enclosing instance for java 8 default methods in interfaces (IDEA-140492) 2015-05-20 13:49:51 +02:00
Anna Kozlova
570a188199 method refs: non-raw receiver type should influence collected constraints (IDEA-140002) 2015-05-11 18:04:29 +02:00
Anna Kozlova
dd1b0c2796 method reference: ignore already handled exceptions (IDEA-137694) 2015-03-18 14:09:58 +01:00
Anna Kozlova
80bc7dad79 preprocess substitutor for receiver type exact references during reduction (IDEA-137417)
(cherry picked from commit 8515ed9707c6a5a61a7d908024247e523b89f08f)
2015-03-11 20:31:42 +01:00
Anna Kozlova
c0dee3fb75 method refs: ensure non-resolved method refs are not marked as exact (EA-59172 - assert: TypeConversionUtil.reportHierarchyInconsistency) 2015-02-25 20:34:39 +01:00
Anna Kozlova
ab8c437a33 method refs: simplify if first parameter is a receiver for method reference (IDEA-136882) 2015-02-24 15:04:54 +01:00
Anna Kozlova
ab09470050 method refs: missed super substitutor (IDEA-136717) 2015-02-19 20:40:49 +01:00
Anna Kozlova
b06817081b new inference: reject to infer variables if it's upper bound doesn't agree with lower/equal bound (when present) 2015-02-19 18:07:55 +01:00
Anna Kozlova
106ba612ce new inference: ignore return type constraints during method reference conflict resolving; work around raw type received from constructor reference given on raw type to be treated as diamond 2015-02-18 17:18:46 +01:00
Anna Kozlova
3163706022 testdata for IDEA-136581 2015-02-16 17:24:13 +01:00
Anna Kozlova
952b8c7b9b testdata for IDEA-132379 2015-02-13 21:28:44 +01:00
Anna Kozlova
36b066ea54 testdata for IDEA-133935 2015-02-13 21:28:43 +01:00
Anna Kozlova
b0a9de51c9 testdata to fix javac behaviour (1.8u40) 2015-02-05 10:27:32 +03:00
Anna Kozlova
47ae95a968 ArrayType:🆕 ensure type reifiable 2015-01-31 16:13:14 +03:00
Anna Kozlova
a6d8e976fa testdata for ClassType::<TypeArguments>new method references: ensure compilation error if ClassType is raw but type arguments are given 2015-01-31 16:13:13 +03:00
Anna Kozlova
82246db879 TypeName::Identifier method reference applicability when TypeName denotes interface 2015-01-31 16:13:13 +03:00
Anna Kozlova
e41b02e277 ignore type parameters (arguments) in non-generic method references 2015-01-31 16:13:12 +03:00
Anna Kozlova
8886622b5c method references: fix type to search (site substitution) for ReferenceType::Identifier references, where ReferenceType is raw (IDEA-135792) 2015-01-30 22:28:02 +03:00
Anna Kozlova
482de672ef method references: site substitution for method references without receiver (IDEA-134261) 2014-12-12 20:57:02 +01:00
Anna Kozlova
68cc2ec0a2 method refs: mark as potentially incompatible expression based reference of non-static method with incorrect number of parameters; contradict spec (15.12.2.1) 2014-11-26 17:39:25 +01:00
Anna Kozlova
fa29801a8a method refs: varargs methods should be checked for parameter numbers (IDEA-133173) 2014-11-20 11:49:09 +01:00
Anna Kozlova
05ff6e8a83 workaround for opened captures (IDEA-132717) 2014-11-12 19:37:59 +01:00
Anna Kozlova
6aef1682d6 testdata IDEA-132560 2014-11-07 15:47:49 +01:00
Anna Kozlova
bba30278f9 method refs: fix variable initializing order (IDEA-132445) 2014-11-06 19:11:29 +01:00
Anna Kozlova
f1b12f6025 method refs: correct condition on receiver type substitution (IDEA-129905) 2014-09-16 20:11:42 +04:00
Anna Kozlova
6b266edf0b testdata accepted 2014-09-12 09:34:43 +04:00
Anna Kozlova
6e8d0a65f7 new inference: cleanup incorporation phase 2014-08-29 12:01:58 +04:00
Anna Kozlova
9b5eb2418f new inference: fresh variables 2014-08-21 18:14:27 +04:00
Anna Kozlova
356c3e7c9e new inference: open/close capture when method reference is resolved (IDEA-128712) 2014-08-18 20:56:11 +04:00
Anna Kozlova
b9ae8339d6 method refs: do not accept static varargs methods by receiver (IDEA-128534) 2014-08-13 14:17:59 +04:00
Anna Kozlova
8df64d1cde more informative error message (IDEA-125544) 2014-08-11 11:29:24 +04:00
Anna Kozlova
0381abe4b3 testdata for IDEA-127275 2014-08-06 17:55:48 +02:00
Anna Kozlova
067ef9e309 method refs: check first parameter if it could be a receiver for varargs methods (IDEA-127506) 2014-07-18 18:19:20 +02:00
Anna Kozlova
7d19e0e85e method refs: missed super class substitution (IDEA-126969) 2014-07-18 10:34:55 +02:00
Anna Kozlova
5650b7331e method refs: missed applicable member/containing class substitutor for exact refs (IDEA-126613) 2014-06-26 17:35:20 +02:00
Anna Kozlova
643881aed8 include enum.values() in signature hierarchy (IDEA-125077) 2014-06-25 12:13:08 +02:00
Anna Kozlova
596d24d505 method refs: reject constructor refs with 'receiver' syntax (IDEA-126484) 2014-06-23 20:10:01 +02:00
Anna Kozlova
ccdc69a1bf method references: avoid double substitution (IDEA-126062) 2014-06-10 12:34:30 +04:00
Anna Kozlova
46408bee30 method references: super methods treatment in exact check 2014-04-30 14:45:10 +04:00