I'm not sure why this would be in the goals / positives.
> Tools that automatically remove busywork, such as dependency-injection frameworks and auto-mocking frameworks, are not required.
The examples are basically doing manual DI. You don't need more in this small case case, but if you're actually using specific implementations for test, why not help yourself by reducing that busywork?
You can always fall back to manual parameter where needed even if you do use DI, so using one is typically not restricting you in any way.
> Tools that automatically remove busywork, such as dependency-injection frameworks and auto-mocking frameworks, are not required.
The examples are basically doing manual DI. You don't need more in this small case case, but if you're actually using specific implementations for test, why not help yourself by reducing that busywork?
You can always fall back to manual parameter where needed even if you do use DI, so using one is typically not restricting you in any way.