[DrJava] [ drjava-Bugs-1064721 ] Weird 'Bad cast' error

[SourceForge.net <no...@so...>]

Bugs item #1064721, was opened at 2004-11-11 19:24
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1064721&group_id=44253

Category: Interactions
Group: Annoying
Status: Open
Resolution: None
Priority: 5
Submitted By: menzel (menzel5)
Assigned to: Nobody/Anonymous (nobody)
Summary: Weird 'Bad cast' error

Initial Comment:
drjava-beta-20040908 for Mac OSX disallows a Comparable, which is 
an instanceof String, to be cast to a String, but has no problem with 
assignment.

> Comparable c = "cat";
> (String) c
Error: Bad cast
> c instanceof String
true
> String s;
> s = c;
> s
"cat"
> s.length()
3

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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1064721&group_id=44253