FULL PRODUCT VERSION :
Java HotSpot(TM) 64-Bit Server VM (build 25.45-b02, mixed mode)

ADDITIONAL OS VERSION INFORMATION :
Linux andrew-pc 3.16.0-41-generic #57~14.04.1-Ubuntu SMP Thu Jun 18 18:01:13 UTC 2015 x86_64 x86_64 x86_64 GNU/Linux

A DESCRIPTION OF THE PROBLEM :
The following code produces java compiler error:

public class JavacBug {

interface ObjectInterface<T extends PropertyInteface<?>> {}

class ObjectImpl implements ObjectInterface<PropertyImpl> {}

interface PropertyInteface<T extends ObjectInterface<?>> {}

class PropertyImpl implements PropertyInteface<ObjectImpl> {}

<T extends ObjectInterface<P>, P extends PropertyInteface<T>> void testMethod(P prorety) {
if (prorety instanceof PropertyImpl) {} //cause the java.lang.StackOverflowError
}

}

STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
Run the code above

EXPECTED VERSUS ACTUAL BEHAVIOR :
EXPECTED -
Code is being copliled
ACTUAL -
The system is out of resources.
Consult the following stack trace for details.
java.lang.StackOverflowError


ERROR MESSAGES/STACK TRACES THAT OCCUR :
java.lang.StackOverflowError
        at com.sun.tools.javac.code.Types$Rewriter.visitClassType(Types.java:4315)
        at com.sun.tools.javac.code.Types$Rewriter.visitClassType(Types.java:4303)
        at com.sun.tools.javac.code.Type$ClassType.accept(Type.java:778)
        at com.sun.tools.javac.code.Types$UnaryVisitor.visit(Types.java:4560)
        at com.sun.tools.javac.code.Types$Rewriter.visitTypeVar(Types.java:4350)
        at com.sun.tools.javac.code.Types$Rewriter.visitTypeVar(Types.java:4303)
        at com.sun.tools.javac.code.Type$TypeVar.accept(Type.java:1281)
        at com.sun.tools.javac.code.Types$UnaryVisitor.visit(Types.java:4560)
        at com.sun.tools.javac.code.Types$Rewriter.visitClassType(Types.java:4318)
        at com.sun.tools.javac.code.Types$Rewriter.visitClassType(Types.java:4303)
        at com.sun.tools.javac.code.Type$ClassType.accept(Type.java:778)
        at com.sun.tools.javac.code.Types$UnaryVisitor.visit(Types.java:4560)
        at com.sun.tools.javac.code.Types$Rewriter.visitTypeVar(Types.java:4350)
        at com.sun.tools.javac.code.Types$Rewriter.visitTypeVar(Types.java:4303)
        at com.sun.tools.javac.code.Type$TypeVar.accept(Type.java:1281)
        at com.sun.tools.javac.code.Types$UnaryVisitor.visit(Types.java:4560)
        at com.sun.tools.javac.code.Types$Rewriter.visitClassType(Types.java:4318)
        at com.sun.tools.javac.code.Types$Rewriter.visitClassType(Types.java:4303)
        at com.sun.tools.javac.code.Type$ClassType.accept(Type.java:778)
        at com.sun.tools.javac.code.Types$UnaryVisitor.visit(Types.java:4560)
        at com.sun.tools.javac.code.Types$Rewriter.visitTypeVar(Types.java:4350)
        at com.sun.tools.javac.code.Types$Rewriter.visitTypeVar(Types.java:4303)
        at com.sun.tools.javac.code.Type$TypeVar.accept(Type.java:1281)
        at com.sun.tools.javac.code.Types$UnaryVisitor.visit(Types.java:4560)
        at com.sun.tools.javac.code.Types$Rewriter.visitClassType(Types.java:4318)
        at com.sun.tools.javac.code.Types$Rewriter.visitClassType(Types.java:4303)
        at com.sun.tools.javac.code.Type$ClassType.accept(Type.java:778)
        at com.sun.tools.javac.code.Types$UnaryVisitor.visit(Types.java:4560)
        at com.sun.tools.javac.code.Types$Rewriter.visitTypeVar(Types.java:4350)
        at com.sun.tools.javac.code.Types$Rewriter.visitTypeVar(Types.java:4303)
        at com.sun.tools.javac.code.Type$TypeVar.accept(Type.java:1281)
        at com.sun.tools.javac.code.Types$UnaryVisitor.visit(Types.java:4560)
        at com.sun.tools.javac.code.Types$Rewriter.visitClassType(Types.java:4318)
        at com.sun.tools.javac.code.Types$Rewriter.visitClassType(Types.java:4303)
        at com.sun.tools.javac.code.Type$ClassType.accept(Type.java:778)
        at com.sun.tools.javac.code.Types$UnaryVisitor.visit(Types.java:4560)
        at com.sun.tools.javac.code.Types$Rewriter.visitTypeVar(Types.java:4350)
        at com.sun.tools.javac.code.Types$Rewriter.visitTypeVar(Types.java:4303)
        at com.sun.tools.javac.code.Type$TypeVar.accept(Type.java:1281)
        at com.sun.tools.javac.code.Types$UnaryVisitor.visit(Types.java:4560)
        at com.sun.tools.javac.code.Types$Rewriter.visitClassType(Types.java:4318)
        at com.sun.tools.javac.code.Types$Rewriter.visitClassType(Types.java:4303)


REPRODUCIBILITY :
This bug can be reproduced always.

---------- BEGIN SOURCE ----------
public class JavacBug {

interface ObjectInterface<T extends PropertyInteface<?>> {}

class ObjectImpl implements ObjectInterface<PropertyImpl> {}

interface PropertyInteface<T extends ObjectInterface<?>> {}

class PropertyImpl implements PropertyInteface<ObjectImpl> {}

<T extends ObjectInterface<P>, P extends PropertyInteface<T>> void testMethod(P prorety) {
if (prorety instanceof PropertyImpl) {} //cause the java.lang.StackOverflowError
}

}
---------- END SOURCE ----------