| Summary: | [Xtend] dispatch function signatures with same primitives get converted to wrapper types | ||
|---|---|---|---|
| Product: | [Modeling] TMF | Reporter: | Sven Efftinge <sven.efftinge> |
| Component: | Xtext | Assignee: | Project Inbox <tmf.xtext-inbox> |
| Status: | CLOSED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | sebastian.zarnekow |
| Version: | 2.0.0 | Flags: | sven.efftinge:
indigo+
|
| Target Milestone: | SR2 | ||
| Hardware: | PC | ||
| OS: | Mac OS X - Carbon (unsup.) | ||
| Whiteboard: | |||
+1 Would it be feasable to skip the type check for a parameter altogether if all dispatch signatures define the same type? pushed to MASTER Yes, I did that. Closing all bugs that were set to RESOLVED before Neon.0 Closing all bugs that were set to RESOLVED before Neon.0 |
Given : dispatch foo(Object x, boolean b) {} dispatch foo(String s, boolean b) {} the signature foo(Object, Boolean) is inferred. It should be foo(Object, boolean)