# Where {T\<:ConcreteType}
**URL:** https://discourse.julialang.org/t/where-t-concretetype/11002
**Category:** General Usage
**Created:** [May 18, 2018, 7:36pm UTC](https://discourse.julialang.org/t/where-t-concretetype/11002 "2018-05-18T19:36:38Z")
**Posts on this page:** 3
**Page:** 1
### Author:  [@rakeshvar](https://discourse.julialang.org/u/rakeshvar)
#### Post date: [May 18, 2018, 7:36pm UTC](https://discourse.julialang.org/t/where-t-concretetype/11002/1 "2018-05-18T19:36:38Z")
Should n’t the two methods of `f` in the example below conflict?
```julia
abstract type AbstractA end
struct A <: AbstractA
data::Int
end
f(a::T) where {T<:A} = (T, a.data)
f(A(2))
# (A, 2)
f(a::A) = ("A", a.data)
f(A(2))
# ("A", 2)
```
I also see that when the methods are declared in the reverse order the second one does not have any effect.
```julia
abstract type AbstractA end
struct A <: AbstractA
data::Int
end
f(a::A) = ("A", a.data)
f(A(2))
# ("A", 2)
f(a::T) where {T<:A} = (T, a.data)
f(A(2))
# ("A", 2)
```
When is the latter invoked ever?
---
### Author:  [@ExpandingMan](https://discourse.julialang.org/u/ExpandingMan)
#### Post date: [May 18, 2018, 7:41pm UTC](https://discourse.julialang.org/t/where-t-concretetype/11002/2 "2018-05-18T19:41:20Z")
My understanding is that the latter will never be invoked because it is being “masked” by the former. Ideally it would give some sort of warning when you define the latter, but I don’t know how complicated it would be to do the code analysis necessary to generate the appropriate warnings in the general case.
---
### Author:  [@kristoffer.carlsson](https://discourse.julialang.org/u/kristoffer.carlsson)
#### Post date: [May 18, 2018, 7:43pm UTC](https://discourse.julialang.org/t/where-t-concretetype/11002/3 "2018-05-18T19:43:18Z")
> [@ExpandingMan](#):
>
> Ideally it would give some sort of warning when you define the latter, but I don’t know how complicated it would be to do the code analysis necessary to generate the appropriate warnings in the general case.
It used to. The warnings got intentionally removed except for when precompiling.