ctor_traits_ut