Given a type R, an object r of type const R, and a type T, R satisfies the requirenmemnts of RuntimeType if and only if:

• R is default constructible. A default constructed R is empty, that is it's not bound to a target type
• R is copy constructible and assignable, yelding and instance that compares equal
• R is equality comparable. Two instances of R compare equal if they are both empty, or they are bound to the same target type
• R is trivially destructible
• the expression R::make<T>() yields an instance of R bound to the target type T
• the expression r.is<T>() -> bool is true if and only if T is the target type to which r is bound
• r.size() is equivalent to sizeof(T), where T is the target type
• r.alignment() is equivalent to alignof(T), where T is the target type
• the expression r.default_construct(dest) is equivalent to (void)new(dest) T(), where T is the target type
• the expression r.copy_construct(dest, source) is equivalent to (void)new(dest) T(*static_cast<const T*>(source)), where T is the target type
• the expression r.move_construct(dest, source) is equivalent to (void)new(dest) T(std::move(*static_cast<T*>(source))), where T is the target type
• the expression r.destroy(dest) is equivalent to static_cast<T*>(dest)->T::~T(), where T is the target type
• the expression r.type_info() is equivalent to typeid(T), where T is the target type