The change being requested to remove redundant changes being introduced by P0734R0 is here: https://github.com/cplusplus/concepts-ts/pull/118