I am not familiar enough with Scala, but the C++ example certainly does not seem like dependent types.

Which function in there do you consider to have a return type that depends on the value of the input?