What exactly is the status of min_specialization?


Reading through the github issues, I'm a bit confused. It seems like there are two features, #specialization (which is unsound?) and #min_specialization (?).

Is #min_specialization available to use in nightly? If so, where are examples ?

1 Like

You've basically got the current situation right, as I understand things. See also the min_specialization PR and this blog post by Niko.

Hopefully someone can offer up some outside examples, but the main examples I've seen are in the standard library itself.