# \#footgun

**URL:** https://discourse.julialang.org/tag/footgun/1584.md

[Latest](https://discourse.julialang.org/latest.md) · [Categories](https://discourse.julialang.org/categories.md) · [Tags](https://discourse.julialang.org/tags.md)

---

## [Notice: a subtle footgun: UnionAll type variable order + method static parameter normalization](https://discourse.julialang.org/t/notice-a-subtle-footgun-unionall-type-variable-order-method-static-parameter-normalization/113779)

<div class="topic-metadata">

**Author:** [@nsajko](https://discourse.julialang.org/u/nsajko)\
**Replies:** 2\
**Last updated:** [January 31, 2025, 10:12am UTC](https://discourse.julialang.org/t/notice-a-subtle-footgun-unionall-type-variable-order-method-static-parameter-normalization/113779 "2025-01-31T10:12:47Z")

</div>

Consider this snippet: id(::Type{T}) where {T} = T some\_type{7,Int} == id(some\_type){7,Int} Naively, it seems like the comparison on the second line should return true for any type some\_type, assuming neither type appl…