Fix for 404601

Added 1.7.3 test suite

1 files changed, 11 insertions, 0 deletions

diff --git a/org.aspectj.matcher/src/org/aspectj/weaver/ResolvedType.java b/org.aspectj.matcher/src/org/aspectj/weaver/ResolvedType.java
index b9fe12a3e..0eaee3758 100644
--- a/org.aspectj.matcher/src/org/aspectj/weaver/ResolvedType.java
+++ b/org.aspectj.matcher/src/org/aspectj/weaver/ResolvedType.java
@@ -1858,6 +1858,17 @@ public abstract class ResolvedType extends UnresolvedType implements AnnotatedEl
 					int c = compareMemberPrecedence(typeTransformerSignature, existingMember);
 					// System.err.println("   c: " + c);
 					if (c < 0) {
+						ResolvedType typeTransformerTargetType = typeTransformerSignature.getDeclaringType().resolve(world);
+						if (typeTransformerTargetType.isInterface()) {
+							ResolvedType existingMemberType = existingMember.getDeclaringType().resolve(world);
+							if ((rtm instanceof NewMethodTypeMunger) && !typeTransformerTargetType.equals(existingMemberType)) {
+								// Might be pr404601. ITD is on an interface with a different visibility to the real member
+								if (Modifier.isPrivate(typeTransformerSignature.getModifiers()) &&
+									Modifier.isPublic(existingMember.getModifiers())) {
+									world.getMessageHandler().handleMessage(new Message("private intertype declaration '"+typeTransformerSignature.toString()+"' clashes with public member '"+existingMember.toString()+"'",existingMember.getSourceLocation(),true));
+								}	
+							}
+						}
 						// existingMember dominates munger
 						checkLegalOverride(typeTransformerSignature, existingMember, 0x10, typeTransformer.getAspectType());
 						return true;