Fleshed out the test about setting the non-inferred and generalizing
the inferred type paramf for Good and Bad factories.