I’m not into Idris, but from what I read I assume that Scala dependent typing is limited to types depending on terms using what is called “path-dependent types”.
In practice you can define types as part of objects, such that each object instance will carry his own specific value of the declared type.
How this compares with Idris DT is out of my expertise