
###############
TypeAssertNever
###############

.. js:function:: wv.Util.TypeAssertNever

   .. rst-class:: sig-pretty-signature
   
      | TypeAssertNever(**_x**\ : *never*\ ): *never*
   
   See ``TypeAssert`` for details.
   
   This is useful for making the compiler enforce fully-covered switch statements.
   
   This function unconditionally throws ``InternalLogicError``\ .
   
   
   
   Example:
   
   
   ::
   
       switch (x) {
           case Enum.A:
               break;
           case Enum.B:
               break;
           default:
               TypeAssertNever(x); // compiler complains if missing other enum cases
       }
   
   **Parameters**
   
   
      **_x**\ : *never*
   
   
   **Returns**\ : *never*
   




