[P1811R0](https://wg21.link/p1811r0) Relaxing redefinition restrictions for re-exportation robustness (Richard Smith, Gabriel dos Reis)