Check the output. The final result satisfies your type restriction because Int is converted to Float64. Your variable x will have the type you specified, with a single T.
I don’t think there is a way to avoid type conversion from the RHS → LHS.