I've created a new topic that would perhaps make groundwork on creating a comprehensive framework for lattice specialisation on const generics.
I believe that this would be sound for the reasons mentioned in the topic, and would request comments on the idea.
My idea is that specific instances of a type (for example, 0: u32) will be given a higher priority than generic instances const T: u32. Perhaps later we could incorporate pattern types as a middle ground.