#include <iostream>
#include <vector>

class A {};

class B : public A {};

class C : public A {};

int main() {
	std::vector<A*> my_vector;
	my_vector[0] = new B();

        // WTF - This should fail!
	std::cout << static_cast<B*>(my_vector[0]) << std::endl;
}