assert that bad example also raises

..not only that dialyzer complains about it