</p>

<p>
If type arguments contain cyclic references to themselves
through bound type parameters, simplification and thus type
inference fails.
Otherwise, type inference succeeds.
</p>

<h4 id="Type_unification">Type unification</h4>

<p>
Type inference solves type equations through <i>type unification</i>.

  </mime-type>
  <mime-type type="application/vnd.muvee.style">
    <glob pattern="*.msty"/>
  </mime-type>
  <mime-type type="application/vnd.ncd.control"/>
  <mime-type type="application/vnd.ncd.reference"/>
  <mime-type type="application/vnd.nervana"/>
  <mime-type type="application/vnd.netfpx"/>
  <mime-type type="application/vnd.neurolanguage.nlu">
    <glob pattern="*.nlu"/>
  </mime-type>