di_ctor_traits