Should SpectatorRouting.router be typed as mock?

[chernodub]

I figured that the router property provided by SpectatorRouting is, in fact, a SpyObj<RouterStub>:

spectator/projects/spectator/src/lib/spectator-routing/initial-module.ts

Line 21 in f966fb3

options.mockProvider(RouterStub, {

I was wondering if this decision, typing it as Router, was intentional, and maybe it would be better to provide its real type so as not to force for explicit type casting in the client code?