Let me reformulate that issue. Let _I_ be an interface and _C_ a class that _implements_ _I_ ; 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. |
|