On Oct 27, 2009, at 1:22 AM, Vladimir Kozlov wrote: > It is not Phi but input ConP (interface.class) of CastPP (which came > from null_check_common): Same point for CastPP, but I had the roles of Object and exact interface types backwards. Thanks. -- John