[ nice-Bugs-1096722 ] requires doesn't work like assert. SHould

Bugs item #1096722, was opened at 2005-01-05 15:55
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1096722&group_id=12788

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: mike.beckerle (mbeckerle)
Assigned to: Nobody/Anonymous (nobody)
Summary: requires doesn't work like assert. SHould

Initial Comment:
int foo(Object arg) requires (arg instanceof Integer)
{
  // assert(arg instanceof Integer); // redundant 
  return arg.intValue();
}

Version 0.9.10

Problem is that a requires clause which narrows the type 
should be respected to the same extent as an assertion.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1096722&group_id=12788


-------------------------------------------------------
The SF.Net email is sponsored by: Beat the post-holiday blues
Get a FREE limited edition SourceForge.net t-shirt from ThinkGeek.
It's fun and FREE -- well, almost....http://www.thinkgeek.com/sfshirt