Wow, the binary-heap-plus crate is interesting, it does almost the same as this pre-RFC, although its motivation is just for flexibility, without considering the runtime generated comparator problem here.
I found its pre-RFC, closed for inactivity. Maybe we can learn from the discussions and propose an official RFC this time! (cc @sekineh