# Comparing different types doesn't raise an error?!?!?

**URL:** https://discourse.julialang.org/t/comparing-different-types-doesnt-raise-an-error/26868
**Category:** General Usage
**Created:** [July 27, 2019, 2:07am UTC](https://discourse.julialang.org/t/comparing-different-types-doesnt-raise-an-error/26868 "2019-07-27T02:07:29Z")
**Posts on this page:** 1
**Showing post:** 26

<div class="post-metadata">

### Author: ![yuyichao](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/yuyichao/32/20_2.png) [@yuyichao](https://discourse.julialang.org/u/yuyichao)
#### Post date: [July 27, 2019, 4:11pm UTC](https://discourse.julialang.org/t/comparing-different-types-doesnt-raise-an-error/26868/26 "2019-07-27T16:11:06Z")

</div>

Also, for giving literals a different behavior than normal values, see [Confusing difference: ^literal vs ^variable](https://discourse.julialang.org/t/confusing-difference-literal-vs-variable/13515) and all the linked discussions…

IMHO, it’s possible to implement. It could be useful sometimes. It breaks the insignificance of assignment to untyped variables in a benign looking case so I really don’t like it. Because of this properties, it has lead to quite a bit of confusions.

---

_[View the full topic](https://discourse.julialang.org/t/comparing-different-types-doesnt-raise-an-error/26868)._