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

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?