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