Inline sole call of `ordering_const`; remove resulting dead code.