using has_typedef_foobar_t＝decltype(t::foobar);