X10

Specify "operator (x:T) as ? <: U "

Details

  • Type: Bug Bug
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Fixed
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: Language Specification
  • Labels:
    None
  • Number of attachments :
    0

Description

So, public operator (x:T) as ? <: U = E means — let T be the type of E. Define a cast "as T". And T <: U or error.

Issue Links

is related to

Bug - A problem which impairs or prevents the functions of the product. XTENLANG-2480 Type bounds do not play nice with coercions

  • Critical - Crashes, loss of data, severe memory leak.
  • Open - The issue is open and ready for the assignee to start work on it.

Activity

Ascending order - Click to sort in descending order
Hide
Permalink
Igor Peshansky added a comment -

Not quite – see XTENLANG-2480.

Show
Igor Peshansky added a comment - Not quite – see XTENLANG-2480 .
Hide
Permalink
Bard Bloom added a comment -

Committed revision 20630.

Show
Bard Bloom added a comment - Committed revision 20630.
Hide
Permalink
David Grove added a comment -

bulk close of resolved issues with unspecified fix target (svn head, won't fix, duplicate, etc).

Show
David Grove added a comment - bulk close of resolved issues with unspecified fix target (svn head, won't fix, duplicate, etc).

People

  • Assignee:
    Bard Bloom
    Reporter:
    Bard Bloom
Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: