Bug 465556 - [typesystem] Error with widening conversion and control flow analysis
Summary: [typesystem] Error with widening conversion and control flow analysis
Status: NEW
Alias: None
Product: Xtend
Classification: Tools
Component: Core (show other bugs)
Version: 2.8.2   Edit
Hardware: PC Mac OS X
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: Project Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2015-04-27 06:16 EDT by Jan Koehnlein CLA
Modified: 2015-04-27 06:16 EDT (History)
0 users

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Jan Koehnlein CLA 2015-04-27 06:16:08 EDT
The following code 

  class Foo {
    def long loop(boolean x) {
      while(true) {
        if(x) {
        } else {
          return 1l
        }
      }
    }
  }

yields a bogus validation error 'Type mismatch: cannot convert from void to long'