I don't know. It seems it handles inheritance (but fails when there is multiple inheritance with ambiguity), automatic conversion. If it does not work with type_traits, I guess we could upgrade this test later.