Comment 1 Philipe Mulet 2006-10-05 17:55:57 EDT

Good find.

Comment 2 Philipe Mulet 2006-10-31 05:08:44 EST

We should revisit our error messages for void[] to only have one blaming the type reference directly, i.e. 'void[] is an invalid type'

import java.util.*;
public class X {
	List<void[]> x = null;
	void[] y;
	void[] foo(void[] arg) {
		void[] local;
	}
}

Comment 3 Philipe Mulet 2006-10-31 05:09:44 EST

import java.util.*;
public class X {
	List<void[]> x = null;
	void[] y;
	void[] foo(void[] arg) {
		void[] local;
		Class c = void[].class;
	}
}

Comment 4 Philipe Mulet 2006-10-31 05:10:40 EST

import java.util.*;
public class X {
	List<void[]> x = null;
	void[] y;
	void[] foo(void[] arg) {
		try {
			void[] local;
			Class c = void[].class;
		} catch(void[] e) {
		}
	}
}

Comment 5 Philipe Mulet 2006-10-31 05:14:39 EST

We also miss check on cast to (void[])

import java.util.*;
public class X {
	List<void[]> x = null;
	void[] y;
	void[] foo(void[] arg) {
		try {
			void[] local = new void[0];
			void[] local1 = new void[]{ null, null };
			void[] local2 = { null, null };
			System.out.println((void[]) null);
			Class c = void[].class;
		} catch(void[] e) {
		}
	}
}

Comment 6 Olivier Thomann 2006-11-09 10:49:17 EST

(In reply to comment #2)
> We should revisit our error messages for void[] to only have one blaming the
> type reference directly, i.e. 'void[] is an invalid type'
Philippe,

Do you prefer 'void[] is an invalid type' or 'An array of void is an invalid type'?

I would vote for the first one.

Comment 7 Olivier Thomann 2006-11-09 15:20:14 EST

Created attachment 53581 [details]
Proposed fix

Comment 8 Olivier Thomann 2006-11-09 15:20:30 EST

Created attachment 53582 [details]
Regression tests

Comment 9 Olivier Thomann 2006-11-09 16:20:22 EST

Released for 3.3M4.

Comment 10 Frederic Fusier 2006-12-12 13:28:58 EST

Verified for 3.3 M4 using build I20061212-0010.