swift

e179d61d - Runtime casting test: the comment says that P1 should be defined in the core library, restore this