Thanks for the clarification.

I do not see the complication. Of course, if you add types, you need to type the mocked data and provide appropriate values. But that is true for any structure.

To be honest, I do not see much value in typed unit tests. I believe it is usually not worth the hassle. The value of unit tests of a (typed) file is in something completely different than having the types aligned.