How do you know that's true for all possible implementations of `IDependencyResolver`? Is `GetService