P4140R0

Proposed resolution for US70-126: allow incomplete types in type_order