28#define claim_same(From,To) (is_same<From,To>::value)
29#define has_same_type(From,To) assert(claim_same(From,To))
30#define has_different_type(From,To) assert(!claim_same(From,To))
#define has_same_type(From, To)
#define has_different_type(From, To)