Tests for type juggling