unsafe auto trait T {}