Bug 186833

Summary:

[1.5][compiler] Should detect member supertype cycle when resolved thru static import

Product:

[Eclipse Project] JDT

Reporter:

Philipe Mulet <philippe_mulet>

Component:

Core

Assignee:

Kent Johnson <kent_johnson>

Status:

VERIFIED FIXED

QA Contact:

Severity:

normal

Priority:

Flags:

philippe_mulet: review+

Version:

3.3

Target Milestone:

3.3 RC1

Hardware:

OS:

Windows XP

Whiteboard:

Attachments:

Description	Flags
Proposed patch	none

Description Philipe Mulet

2007-05-14 12:38:22 EDT

Build 3.3rc0

We should report a supertype cycle for the following case:
package p;
import p.X.Super;
import static p.Top.*;
class Top<T> {	
  static class A<U> {}
}
public class X extends Super<A<X>> {	
  static class Super<T> extends Top<T>{	}
}

Comment 1 Philipe Mulet

2007-05-14 12:38:56 EDT

Added GenericTypeTest#test1139 & 1141

Comment 2 Kent Johnson

2007-05-14 12:45:11 EDT

Even simpler case that fails in 1.4 with a cycle error :

package p;

import p.X.Super;

public class X extends Super {    
	static class Super { }
}

Comment 3 Kent Johnson

2007-05-14 16:37:46 EDT

Created attachment 67130 [details]
Proposed patch

Comment 4 Philipe Mulet

2007-05-15 04:20:28 EDT

Patch looks good.

Comment 5 Kent Johnson

2007-05-15 10:38:21 EDT

Released into HEAD for 3.3RC1

Comment 6 Eric Jodet

2007-05-16 06:02:48 EDT

Verified for 3.3 RC1 using build I20070516-0010