From ee43b079532a3dd9a7c879b68af79076d783dc70 Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Mon, 30 Mar 2026 22:56:02 +0200
Subject: [PATCH] P4140R0 Proposed resolution for US70-126: allow incomplete
 types in type_order

Fixes NB US 70-126 (C++26 CD).
---
 source/support.tex | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/source/support.tex b/source/support.tex
index a31b741111..4663d69ba2 100644
--- a/source/support.tex
+++ b/source/support.tex
@@ -5707,6 +5707,10 @@
 If an explicit specialization or partial specialization of \tcode{type_order} is declared,
 the program is ill-formed.
 
+\pnum
+The templates \tcode{type_order} and \tcode{type_order_v}
+may be instantiated with incomplete types as arguments.
+
 \pnum
 \recommended
 The order should be lexicographical on parameter-type-lists and template argument lists.