Bug 113273

Summary:

[1.5][compiler] Compiler confused by multiply bounded type parameter

Product:

[Eclipse Project] JDT

Reporter:

Ian Pilcher <i.pilcher>

Component:

Core

Assignee:

Kent Johnson <kent_johnson>

Status:

VERIFIED FIXED

QA Contact:

Severity:

normal

Priority:

CC:

dave, philippe_mulet

Version:

3.1

Target Milestone:

3.1.2

Hardware:

OS:

Linux

Whiteboard:

Attachments:

Description	Flags
Test case	none

Description Ian Pilcher

2005-10-20 15:49:29 EDT

Sun's javac (1.5.0_05) compiles the sample file without complaint.  ecj (0.570,
3.1.0 release) gives the following error:

1. ERROR in IansCollection.java
 (at line 5)
        public class IansCollection<E, C extends Collection<E> & Cloneable>
                     ^^^^^^^^^^^^^^
The type IansCollection<E,C> must implement the inherited abstract method
Collection<E>.iterator()

Comment 1 Ian Pilcher

2005-10-20 15:50:09 EDT

Created attachment 28545 [details]
Test case

Comment 2 Ian Pilcher

2005-10-20 15:51:41 EDT

BTW, removing the Cloneable bound gets rid of the error.  Thus the summary.

Comment 3 Markus Milleder

2005-10-20 16:34:43 EDT

Pasted into Eclipse 3.1.1 win32, got the same error

Comment 4 Olivier Thomann

2005-10-20 20:22:05 EDT

Reproduced with HEAD contents.

Comment 5 Philipe Mulet

2005-10-21 03:13:49 EDT

Kent: once addressed pls backport to 3.1.x

Comment 6 Kent Johnson

2005-10-25 13:54:18 EDT

Added onto MethodVerify test032

Released into HEAD and 3.1.2 stream

Comment 7 Kent Johnson

2005-11-01 13:08:05 EST

*** Bug 114365 has been marked as a duplicate of this bug. ***

Comment 8 Olivier Thomann

2005-12-13 10:14:23 EST

Verified for 3.2M4 in I20051212-2000

Comment 9 Frederic Fusier

2006-01-10 08:53:25 EST

Verified for 3.1.2 using build M20060109-1200.