As far as I know, everything related to const in traits became part of the more general "effects" initiative. I do not know the status of that.
I agree that "always const" functions in traits are the most obvious kind of const-fn-in-trait. I am not sure if there are any plans to implement that independent of the rest of the effect system (which should allow things like "an impl of Eq where all fn are const").