Specializing based on const values/fns?

[comex]

Unfortunately, that does not (yet) work in a generic context, as the compiler doesn't know that the impls for true and false cover all possibilities:

Rust Playground

This has been discussed before:

[Idea] Exhaustiveness checks for const generic impls

Changelog

Mention control flow in item/type position alternative approach Mention the specialization-based alternative approach Reorganized to put more in the “future extensions” section Add <a class="mention" href="/u/comex">@comex</a>’s design for implementing tuples for traits Mention that current design is restricted to generic parameters only, discuss headroom for extension to type parameters Formatted into multiple sections Added more examples to the motivati…