FWIW, you don't do that with Mockito either, in Java land.

Mockito will happily use the existing type definition of your dependency, provided that the class declaration is not final (i.e. can't be extended).