More checks in interfaceCast test