 will we produce a
      compiler error.
    </p>
<p>
      We may also be interested in ascertaining whether the deeply nested type 'FindType'
      actually exists. Our metafunction, using BOOST_TTI_MEMBER_TYPE and repeating
      our macros from above, could be:
    </p>
<pre class="programlisting"><span class="identifier">BOOST_TTI_MEMBER_TYPE</span><span class="special">(</span><span class="identifier">FindType</span><span class="special">)</span>
<span class="identifier">BOOST_TTI_MEMBER_TYPE</span><s