In bytecode, CHECKCAST succeeds on all interface classes (which is a bit unsafe). The instanceof and checkcast operations are rejected by the linker when they are performed on array classes (e.g. b instanceof byte[]). All threads are non-daemon threads. There are no objects of type ...