Bug 509290 - [validation] Closure body must be assignable to its iterator
Summary: [validation] Closure body must be assignable to its iterator
Status: RESOLVED FIXED
Alias: None
Product: OCL
Classification: Modeling
Component: Core (show other bugs)
Version: unspecified   Edit
Hardware: PC Windows NT
: P3 normal (vote)
Target Milestone: M5   Edit
Assignee: OCL Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: 507628
  Show dependency tree
 
Reported: 2016-12-15 08:59 EST by Ed Willink CLA
Modified: 2016-12-15 11:11 EST (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Ed Willink CLA 2016-12-15 08:59:49 EST 
The current closure WFRs do not ensure that the iterator type is the common type of source element and body element.

The correct type could easily be computed, but without an isImplicit marker, it is difficult to avoid correcting an explicitly-wrong declaration.

Better just to offer a WFR that any explicit declaration is bad.
Comment 1 Ed Willink CLA 2016-12-15 11:11:16 EST 
WFR pushed to master for M5