Let me reformulate that issue. Let I be an interface and C a class that implements; where implements is a transitive relation. Furthermore, let P be a proxy instance of an instance of C and that is assigned to a variable of type I. Does WELD guarantee the following two expressions to be true?

P instanceof C
P instanceof I

This issue shows that there exists a case where `P instanceof C` is false.