provider as defined in spec: declaring a provider must fail when provide will always fail

- FactoryProvider also fails as early as possible now