idea/community.git
6 years agoPY-18181 Folding: Folding doesn't work with 'with' statement
Liana Bakradze [Mon, 18 Jan 2016 12:57:27 +0000 (15:57 +0300)]
PY-18181 Folding: Folding doesn't work with 'with' statement

6 years agoIDEA-150547 [follow-up: add missing super call]
Anton Tarasov [Mon, 18 Jan 2016 12:55:29 +0000 (15:55 +0300)]
IDEA-150547 [follow-up: add missing super call]

6 years agocompilation fix
Dmitry Avdeev [Mon, 18 Jan 2016 12:43:24 +0000 (15:43 +0300)]
compilation fix

6 years agomaven: flex test repository excluded from base mirror
Vladislav.Soroka [Mon, 18 Jan 2016 12:29:48 +0000 (15:29 +0300)]
maven: flex test repository excluded from base mirror

6 years agoAPI cleanup: removed long ago deprecated
Egor.Ushakov [Mon, 18 Jan 2016 12:27:01 +0000 (15:27 +0300)]
API cleanup: removed long ago deprecated

6 years agoupdated versions of educational plugins appcode/144.3124 clion/144.3123
Liana Bakradze [Mon, 18 Jan 2016 11:43:13 +0000 (14:43 +0300)]
updated versions of educational plugins

6 years agoIDEA-150547 some labels are not accessible by mouse
Anton Tarasov [Mon, 18 Jan 2016 11:40:35 +0000 (14:40 +0300)]
IDEA-150547 some labels are not accessible by mouse

6 years agoIDEA-CR-2176 "HttpRequests class was written for handling content requests; the situa...
Vladimir Krivosheev [Mon, 18 Jan 2016 11:33:42 +0000 (12:33 +0100)]
IDEA-CR-2176 "HttpRequests class was written for handling content requests; the situation "all a client wants is a response code" seems rare to me - so a better solution would be to either add something like int tryConnect() to RequestBuilder, or throw an IOException subclass, or both."

6 years agocleanup
Vladimir Krivosheev [Mon, 18 Jan 2016 10:55:03 +0000 (11:55 +0100)]
cleanup

6 years agoassertion fixed
Dmitry Avdeev [Mon, 18 Jan 2016 11:34:15 +0000 (14:34 +0300)]
assertion fixed

6 years agoMove Java-specific highlighting info to Java implementation phpstorm/144.3121 rubymine/144.3122
Rustam Vishnyakov [Mon, 18 Jan 2016 10:19:28 +0000 (13:19 +0300)]
Move Java-specific highlighting info to Java implementation

6 years agoIDEA-150458 Xml: invalid regular expression error
Dmitry Avdeev [Mon, 18 Jan 2016 10:29:59 +0000 (13:29 +0300)]
IDEA-150458 Xml: invalid regular expression error

6 years agoIDEA-150534 DebugConfigureAction DebugLogConfigureDialog is missing getDimensionServi...
Egor.Ushakov [Mon, 18 Jan 2016 10:21:38 +0000 (13:21 +0300)]
IDEA-150534 DebugConfigureAction DebugLogConfigureDialog is missing getDimensionServiceKey()

6 years ago[java] unifies handling of .class file format error (IDEA-150463)
Roman Shevchenko [Mon, 18 Jan 2016 10:21:18 +0000 (11:21 +0100)]
[java] unifies handling of .class file format error (IDEA-150463)

6 years agoIDEA-CR-7643IDEA-146929 IntelliJ 15 EAP - Won't start when there is 100% packet loss...
Vladimir Krivosheev [Mon, 18 Jan 2016 10:19:41 +0000 (11:19 +0100)]
IDEA-CR-7643IDEA-146929 IntelliJ 15 EAP - Won't start when there is 100% packet loss - Crash

6 years agogithub: EA-77214 - URISE: URI.create
Aleksey Pivovarov [Mon, 18 Jan 2016 09:10:53 +0000 (12:10 +0300)]
github: EA-77214 - URISE: URI.create

6 years agoIDEA-111425 [reverted debug printing] appcode/144.3117 clion/144.3116
Anton Tarasov [Mon, 18 Jan 2016 08:37:14 +0000 (11:37 +0300)]
IDEA-111425 [reverted debug printing]

6 years agoPY-14234 Fix false positive when underscored module imported inside the package appcode/144.3088 appcode/144.3094 appcode/144.3109 clion/144.3089 clion/144.3096 clion/144.3110 dbe/144.3093 dbe/144.3112 idea/144.3090 idea/144.3098 idea/144.3111 phpstorm/144.3095 phpstorm/144.3104 phpstorm/144.3107 pycharm/144.3092 pycharm/144.3097 pycharm/144.3106 pycharm/144.3108 rubymine/144.3101 webstorm/144.3102 webstorm/144.3114
Valentina Kiryushkina [Thu, 24 Dec 2015 13:12:41 +0000 (16:12 +0300)]
PY-14234 Fix false positive  when underscored module imported inside the package

6 years agoPY-14614 Don't showPyAbstractClassInspection if NotImplementedError is conditional... appcode/144.3086 clion/144.3085 phpstorm/144.3084
Valentina Kiryushkina [Thu, 24 Dec 2015 10:08:01 +0000 (13:08 +0300)]
PY-14614 Don't showPyAbstractClassInspection if NotImplementedError is conditional in parent class

6 years agotox test fix: bad names for broken tests in nose appcode/144.3077 clion/144.3076 dbe/144.3075 phpstorm/144.3078 pycharm/144.3081 pycharm/144.3082 webstorm/144.3083
Ilya.Kazakevich [Fri, 15 Jan 2016 22:51:15 +0000 (01:51 +0300)]
tox test fix: bad names for broken tests in nose

6 years agotox test fix: provide explicit interpreter instead of default
Ilya.Kazakevich [Fri, 15 Jan 2016 22:28:30 +0000 (01:28 +0300)]
tox test fix: provide explicit  interpreter instead of default

6 years agotox test fix: do not call "enter matrix" when running inside of tox
Ilya.Kazakevich [Fri, 15 Jan 2016 21:11:27 +0000 (00:11 +0300)]
tox test fix: do not call "enter matrix" when running inside of tox

6 years agotox test fix: nose runner should not return 1 in case of error since all runners...
Ilya.Kazakevich [Fri, 15 Jan 2016 21:10:51 +0000 (00:10 +0300)]
tox test fix: nose runner should not return 1 in case of error since all runners always return 0

6 years agoIDEA-149395 Align scrollable view with an empty border
Sergey Malenkov [Fri, 15 Jan 2016 19:34:54 +0000 (22:34 +0300)]
IDEA-149395 Align scrollable view with an empty border

6 years ago[vcs-log] remove flags from remote references popup and add speedsearch IDEA-140104
Julia Beliaeva [Mon, 11 May 2015 01:23:57 +0000 (04:23 +0300)]
[vcs-log] remove flags from remote references popup and add speedsearch IDEA-140104

6 years ago[vcs-log] do not include tracked branches in remote groups, remote has only one branc...
Julia Beliaeva [Sat, 9 May 2015 20:12:55 +0000 (23:12 +0300)]
[vcs-log] do not include tracked branches in remote groups, remote has only one branch show it outright

6 years ago[vcs-log] set visibility to branches panel scroll pane to switch it off
Julia Beliaeva [Fri, 8 May 2015 17:05:20 +0000 (20:05 +0300)]
[vcs-log] set visibility to branches panel scroll pane to switch it off

6 years ago[vcs-log] when branches panel is invisible it has zero size
Julia Beliaeva [Fri, 8 May 2015 15:06:36 +0000 (18:06 +0300)]
[vcs-log] when branches panel is invisible it has zero size

6 years ago[vcs-log] refactor branches panel: use components for groups + flow layout for proper...
Julia Beliaeva [Thu, 30 Apr 2015 15:40:30 +0000 (18:40 +0300)]
[vcs-log] refactor branches panel: use components for groups + flow layout for proper gaps; use scrollpane

6 years agoget/set env data with single method call for convenient client usage
Sergey Simonchik [Fri, 15 Jan 2016 18:50:27 +0000 (21:50 +0300)]
get/set env data with single method call for convenient client usage

6 years agoMerge branch 'amakeev/attach-tests' into master-attach-merge clion/144.3073
Anton Makeev [Fri, 15 Jan 2016 17:32:48 +0000 (18:32 +0100)]
Merge branch 'amakeev/attach-tests' into master-attach-merge

6 years agojs debugger inline data — add for all usage places
Vladimir Krivosheev [Fri, 15 Jan 2016 16:02:46 +0000 (17:02 +0100)]
js debugger inline data — add for all usage places

6 years agogetUsages — in most cases we don't need to detect access
Vladimir Krivosheev [Fri, 15 Jan 2016 11:51:16 +0000 (12:51 +0100)]
getUsages — in most cases we don't need to detect access

6 years agoavoid new ArrayList creation — doesn't make any sense, add directly
Vladimir Krivosheev [Fri, 15 Jan 2016 11:37:08 +0000 (12:37 +0100)]
avoid new ArrayList creation — doesn't make any sense, add directly

6 years agocleanup, prefer additionalVariable because it is more smart variable (e.g. Navigatabl...
Vladimir Krivosheev [Fri, 15 Jan 2016 11:31:16 +0000 (12:31 +0100)]
cleanup, prefer additionalVariable because it is more smart variable (e.g. NavigatableVariable)

6 years agoIDEA-150411 Debug tool window: on reusing it different type of configuration picks...
Egor.Ushakov [Fri, 15 Jan 2016 16:23:56 +0000 (19:23 +0300)]
IDEA-150411 Debug tool window: on reusing it different type of configuration picks up watches from previous type

6 years agowrap borders
Konstantin Bulenkov [Fri, 15 Jan 2016 15:47:28 +0000 (16:47 +0100)]
wrap borders

6 years agoIDEA-111425 Accessibility For The Blind And Visually Impaired appcode/144.3071 clion/144.3070
Renaud Paquay [Fri, 15 Jan 2016 14:50:22 +0000 (17:50 +0300)]
IDEA-111425 Accessibility For The Blind And Visually Impaired

6 years agovertically center folding anchors (otherwise looks bad with large fonts)
Egor.Ushakov [Fri, 15 Jan 2016 14:41:22 +0000 (17:41 +0300)]
vertically center folding anchors (otherwise looks bad with large fonts)

6 years ago IDEA-149395 Shrink thumbs in opaque scroll bars
Sergey Malenkov [Fri, 15 Jan 2016 13:28:24 +0000 (16:28 +0300)]
 IDEA-149395 Shrink thumbs in opaque scroll bars

6 years ago IDEA-149395 Resolve overlapping of translucent scroll bars
Sergey Malenkov [Fri, 15 Jan 2016 13:27:14 +0000 (16:27 +0300)]
 IDEA-149395 Resolve overlapping of translucent scroll bars

6 years agoWEB-19812 Better warning when a deployment configuration corresponding to a remote...
irengrig [Fri, 15 Jan 2016 13:22:12 +0000 (14:22 +0100)]
WEB-19812 Better warning when a deployment configuration corresponding to a remote interpreter is removed

6 years agogo to action action cleanup
Sergey Ignatov [Fri, 15 Jan 2016 13:17:58 +0000 (16:17 +0300)]
go to action action cleanup

6 years agoIDEA-149918 Find Action shows strange "New Group (1)" action group
Sergey Ignatov [Fri, 15 Jan 2016 13:04:47 +0000 (16:04 +0300)]
IDEA-149918 Find Action shows strange "New Group (1)" action group

6 years agocleanup
Sergey Ignatov [Fri, 15 Jan 2016 12:42:25 +0000 (15:42 +0300)]
cleanup

6 years agoIDEA-149907 Get rid of duplication between python\edu\build\idea.nsi and build\conf... appcode/144.3067 clion/144.3068 idea/144.3063 phpstorm/144.3065 pycharm/144.3062
Vladimir.Orlov [Fri, 15 Jan 2016 10:37:36 +0000 (13:37 +0300)]
IDEA-149907 Get rid of duplication between python\edu\build\idea.nsi and build\conf\nsis\idea.nsi

6 years agoMerge remote-tracking branch 'origin/master'
Anton Tarasov [Fri, 15 Jan 2016 09:11:17 +0000 (12:11 +0300)]
Merge remote-tracking branch 'origin/master'

6 years agoreplace EditorGutterComponentImpl.START_ICON_AREA_WIDTH w/ Editor's line height
Anton Tarasov [Fri, 15 Jan 2016 09:10:31 +0000 (12:10 +0300)]
replace EditorGutterComponentImpl.START_ICON_AREA_WIDTH w/ Editor's line height

6 years agoOC-13005 script for building of Appcode module cache appcode/144.3061 clion/144.3060
Max Medvedev [Fri, 15 Jan 2016 06:52:35 +0000 (09:52 +0300)]
OC-13005 script for building of Appcode module cache

6 years agoIDEA-68160 Find & Replace: preserve case bug appcode/144.3046 clion/144.3048 dbe/144.3047 idea/144.3049 phpstorm/144.3054 pycharm/144.3051 pycharm/144.3055 rubymine/144.3053 webstorm/144.3056
Maxim.Mossienko [Thu, 14 Jan 2016 22:26:16 +0000 (23:26 +0100)]
IDEA-68160 Find & Replace: preserve case bug

6 years agoTox fix: interpreter should be provided
Ilya.Kazakevich [Thu, 14 Jan 2016 21:18:21 +0000 (00:18 +0300)]
Tox fix: interpreter should be provided

6 years agooptimization: don't try to capture if type was not wildcard parameterized appcode/144.3044
Anna Kozlova [Thu, 14 Jan 2016 20:13:45 +0000 (21:13 +0100)]
optimization: don't try to capture if type was not wildcard parameterized

6 years agooptimization: don't map to get the parameter numbers
Anna Kozlova [Thu, 14 Jan 2016 20:12:18 +0000 (21:12 +0100)]
optimization: don't map to get the parameter numbers

6 years agorename to Guice completed
Anna Kozlova [Thu, 14 Jan 2016 18:47:57 +0000 (19:47 +0100)]
rename to Guice completed

6 years agoPer-project custom repositories through required plugins
Ivan Chirkov [Thu, 14 Jan 2016 19:03:07 +0000 (20:03 +0100)]
Per-project custom repositories through required plugins

6 years agoMerge remote-tracking branch 'origin/master'
Dmitry Trofimov [Thu, 14 Jan 2016 19:30:59 +0000 (20:30 +0100)]
Merge remote-tracking branch 'origin/master'

6 years ago IDEA-149395 Fix viewport position for flipped translucent scroll bars
Sergey Malenkov [Thu, 14 Jan 2016 17:58:29 +0000 (20:58 +0300)]
 IDEA-149395 Fix viewport position for flipped translucent scroll bars

6 years ago Remote debugging: Warning about wrong debugger version (PY-17929)
Elizaveta Shashkova [Thu, 14 Jan 2016 17:31:00 +0000 (20:31 +0300)]
 Remote debugging: Warning about wrong debugger version (PY-17929)

6 years agoFix exception in console with python 3 (PY-18189)
Elizaveta Shashkova [Thu, 14 Jan 2016 15:34:29 +0000 (18:34 +0300)]
Fix exception in console with python 3 (PY-18189)

6 years agowording following IDEA-CR-7808
Anna Kozlova [Thu, 14 Jan 2016 17:32:03 +0000 (18:32 +0100)]
wording following IDEA-CR-7808

6 years agoTypeName.super checks for classes fixed (IDEA-150141)
Anna Kozlova [Thu, 14 Jan 2016 17:29:49 +0000 (18:29 +0100)]
TypeName.super checks for classes fixed (IDEA-150141)

6 years agomove trivial method ref/trivial functional expression usage to redundancy group
Anna Kozlova [Thu, 14 Jan 2016 17:02:40 +0000 (18:02 +0100)]
move trivial method ref/trivial functional expression usage to redundancy group

6 years agoreplace hardcoded clone with protected methods of Object (IDEA-150196)
Anna Kozlova [Thu, 14 Jan 2016 16:05:55 +0000 (17:05 +0100)]
replace hardcoded clone with protected methods of Object (IDEA-150196)

6 years agoaccept secondary setup methods (IDEA-150310)
Anna Kozlova [Thu, 14 Jan 2016 15:41:20 +0000 (16:41 +0100)]
accept secondary setup methods (IDEA-150310)

6 years agodpi aware insets
Konstantin Bulenkov [Thu, 14 Jan 2016 17:19:11 +0000 (18:19 +0100)]
dpi aware insets

6 years agoMerge remote-tracking branch 'origin/master'
Konstantin Bulenkov [Thu, 14 Jan 2016 17:10:30 +0000 (18:10 +0100)]
Merge remote-tracking branch 'origin/master'

6 years agodpi aware insets
Konstantin Bulenkov [Thu, 14 Jan 2016 16:49:02 +0000 (17:49 +0100)]
dpi aware insets

6 years ago[vcs-log] try to move reversing commits list to a more visible place
Julia Beliaeva [Wed, 13 Jan 2016 14:27:52 +0000 (17:27 +0300)]
[vcs-log] try to move reversing commits list to a more visible place

6 years ago[vcs-log] preserve order of loaded details
Julia Beliaeva [Wed, 13 Jan 2016 14:24:26 +0000 (17:24 +0300)]
[vcs-log] preserve order of loaded details

6 years ago[vcs-log] rename processDetails -> getCherryPickerOrReportError, make it return VcsCh...
Julia Beliaeva [Tue, 12 Jan 2016 15:14:27 +0000 (18:14 +0300)]
[vcs-log] rename processDetails -> getCherryPickerOrReportError, make it return VcsCherryPicker or null instead of modifying groupedDetails in it

6 years ago[vcs-log] turn myGroupedCommits into a parameter
Julia Beliaeva [Wed, 30 Dec 2015 15:29:31 +0000 (18:29 +0300)]
[vcs-log] turn myGroupedCommits into a parameter

6 years ago[vcs-log] MultiMap instead of Map for cherry pickers
Julia Beliaeva [Wed, 30 Dec 2015 15:24:27 +0000 (18:24 +0300)]
[vcs-log] MultiMap instead of Map for cherry pickers

6 years ago[vcs-log] rename change list manager field, add not nulls
Julia Beliaeva [Wed, 30 Dec 2015 15:12:53 +0000 (18:12 +0300)]
[vcs-log] rename change list manager field, add not nulls

6 years ago[vcs-log] check that selected commits are not already being processed
Julia Beliaeva [Tue, 29 Dec 2015 17:48:42 +0000 (20:48 +0300)]
[vcs-log] check that selected commits are not already being processed

6 years ago[vcs-log] code issues in VcsCherryPickAction/Manager
Julia Beliaeva [Tue, 29 Dec 2015 17:41:27 +0000 (20:41 +0300)]
[vcs-log] code issues in VcsCherryPickAction/Manager

6 years ago[vcs-log] introduce VcsCherryPickManager; move CherryPickingTask there and required...
Julia Beliaeva [Tue, 29 Dec 2015 17:13:35 +0000 (20:13 +0300)]
[vcs-log] introduce VcsCherryPickManager; move CherryPickingTask there and required methods

6 years ago[vcs-log] merge MAX_SELECTED_COMMITS and COMMITS_LIMIT and increase the latter to...
Julia Beliaeva [Tue, 29 Dec 2015 00:28:30 +0000 (03:28 +0300)]
[vcs-log] merge MAX_SELECTED_COMMITS and COMMITS_LIMIT and increase the latter to 1000

6 years ago[vcs-log] also log message when commit can not be cherry-picked
Julia Beliaeva [Mon, 28 Dec 2015 23:17:13 +0000 (02:17 +0300)]
[vcs-log] also log message when commit can not be cherry-picked

6 years ago[vcs-log] remove else clauses, use return instead
Julia Beliaeva [Mon, 28 Dec 2015 22:09:47 +0000 (01:09 +0300)]
[vcs-log] remove else clauses, use return instead

6 years ago[vcs-log] main frame gets VcsDataKeys.CHANGES or VcsDataKeys.SELECTED_CHANGES from...
Julia Beliaeva [Wed, 30 Sep 2015 11:37:00 +0000 (14:37 +0300)]
[vcs-log] main frame gets VcsDataKeys.CHANGES or VcsDataKeys.SELECTED_CHANGES from changes view; hence remove some unused methods from table and model

6 years ago[vcs-log] get rid of VcsLogUtil.collectFirstPackOfLoadedSelectedDetails() call from...
Julia Beliaeva [Tue, 29 Sep 2015 19:17:49 +0000 (22:17 +0300)]
[vcs-log] get rid of VcsLogUtil.collectFirstPackOfLoadedSelectedDetails() call from cherry pick action

6 years ago[vcs-log] remove usages of VcsLog.getSelectedDetails from actions
Julia Beliaeva [Tue, 29 Sep 2015 18:17:00 +0000 (21:17 +0300)]
[vcs-log] remove usages of VcsLog.getSelectedDetails from actions

6 years ago[vcs-log] always limit details
Julia Beliaeva [Fri, 19 Jun 2015 13:08:02 +0000 (16:08 +0300)]
[vcs-log] always limit details

6 years ago[vcs-log] limit number of commits that data provider processes
Julia Beliaeva [Fri, 19 Jun 2015 12:42:43 +0000 (15:42 +0300)]
[vcs-log] limit number of commits that data provider processes

6 years ago[vcs-log] limit copied subjects in log
Julia Beliaeva [Wed, 17 Jun 2015 18:17:06 +0000 (21:17 +0300)]
[vcs-log] limit copied subjects in log

6 years ago[vcs-log] load full details in background
Julia Beliaeva [Wed, 17 Jun 2015 15:58:46 +0000 (18:58 +0300)]
[vcs-log] load full details in background

1. log actions and cherry-pick load details in backgound task in action performed
2. deal with select all problem IDEA-118190

6 years ago[vcs-log] check for progress indicator being cancelled while processing arguments...
Julia Beliaeva [Mon, 7 Sep 2015 18:07:47 +0000 (21:07 +0300)]
[vcs-log] check for progress indicator being cancelled while processing arguments by chunks

6 years ago[hg] load short and full details in chunks
Julia Beliaeva [Thu, 3 Sep 2015 18:23:10 +0000 (21:23 +0300)]
[hg] load short and full details in chunks

6 years ago[git] load short and full details in chunks
Julia Beliaeva [Thu, 3 Sep 2015 17:45:20 +0000 (20:45 +0300)]
[git] load short and full details in chunks

6 years ago[git] commit time in test is in ms while git uses seconds
Julia Beliaeva [Thu, 3 Sep 2015 17:39:59 +0000 (20:39 +0300)]
[git] commit time in test is in ms while git uses seconds

6 years ago[vcs-log] introduce lazy list with commit details/hashes and check no more then 100...
Julia Beliaeva [Mon, 8 Jun 2015 13:20:53 +0000 (16:20 +0300)]
[vcs-log] introduce lazy list with commit details/hashes and check no more then 100 first commits in action update methods IDEA-141067

6 years ago[vcs-log] VcsLog.getSelectedCommits returns list of CommitIds instead of Hashes
Julia Beliaeva [Fri, 25 Dec 2015 15:19:56 +0000 (18:19 +0300)]
[vcs-log] VcsLog.getSelectedCommits returns list of CommitIds instead of Hashes

6 years ago IDEA-148164 Fix horisontal scrolling for right-to-left orientation
Sergey Malenkov [Thu, 14 Jan 2016 16:10:37 +0000 (19:10 +0300)]
 IDEA-148164 Fix horisontal scrolling for right-to-left orientation

6 years agoIG: simplify and add test
Bas Leijdekkers [Fri, 8 Jan 2016 14:18:16 +0000 (15:18 +0100)]
IG: simplify and add test

6 years agomethod with primitive return type is not an actual clone() method
Bas Leijdekkers [Fri, 8 Jan 2016 14:15:30 +0000 (15:15 +0100)]
method with primitive return type is not an actual clone() method

6 years agodumb-aware run configurations: EA-77744
Dennis Ushakov [Thu, 14 Jan 2016 15:29:07 +0000 (18:29 +0300)]
dumb-aware run configurations: EA-77744

6 years agogenerate toString: javadoc detection (IDEA-150016)
Anna Kozlova [Thu, 14 Jan 2016 14:55:42 +0000 (15:55 +0100)]
generate toString: javadoc detection (IDEA-150016)

6 years agomove members: ignore conflict if resolution was with static problems (IDEA-149968)
Anna Kozlova [Thu, 14 Jan 2016 13:24:44 +0000 (14:24 +0100)]
move members: ignore conflict if resolution was with static problems (IDEA-149968)

6 years agoconvert anonym to inner: check vararg params (IDEA-150379)
Anna Kozlova [Thu, 14 Jan 2016 13:03:46 +0000 (14:03 +0100)]
convert anonym to inner: check vararg params (IDEA-150379)

6 years agoinference: ensure to convert disjunction type to lub (IDEA-150364)
Anna Kozlova [Thu, 14 Jan 2016 12:46:55 +0000 (13:46 +0100)]
inference: ensure to convert disjunction type to lub (IDEA-150364)