Is anyone using auto_concretize?

[smoelius]

Is anyone using the auto_concretize feature?

When this feature is enabled, test-fuzz tries to infer impl and non-impl concretizations. Success requires that a target be called with exactly one impl concretization and exactly one non-impl concretization during tests. Success is not guaranteed by these conditions, however.
The implementation of auto_concretize uses the unstable language feature rust-lang/rust#54725. So enabling auto_concretize requires that targets be built with a nightly compiler.

If so, could you please reply to this issue?

I am considering removing it. I am not sure it has ever fully worked. Moreover:

• The code to support it sprawls across multiple parts of the codebase (as can be seen by 408e4c2 and e544b75).
• It requires the unstable language feature proc_macro::Span.

Note that even if the feature is removed, I plan to retain test-fuzz's recording of impl and non-impl concretizations.

[smoelius]

Removed with #336. Published in version 5.0.0.