26     typedef T thing;  typedef
27     typedef decltype(val(make<thing>())) inner_ptr;
29     template<typename U> using rebind_thing = typename thing::template rebind<U>;
41   template<typename T> struct thing {  struct
44     typedef traits<thing<inner>> traits_type;
46     template<typename U> using rebind = thing<U>;
48     thing(traits_type &traits) : traits(traits), val(traits.alloc()) {}  in thing()  function
49     ~thing() { traits.free(static_cast<inner_ptr&&>(val)); }  in ~thing()
54     friend inner_ptr val(const thing &t) { return t.val; }  in val()
60   template<> bool &traits<thing<bool>>::alloc() { static bool b; return b; }  in alloc()
61   template<> void traits<thing<bool>>::free(bool&) {}  in free()
64 typedef X::traits<X::thing<int>> itt;  argument
66 itt::thing::traits_type itr;
67 itt::thing ith(itr);