Unit tests for type equality