From e5b3b082e42ba99021e7ba14e3e8325bac3f0182 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 203a1bf45f..b09401313e 100644
--- a/source/support.tex
+++ b/source/support.tex
@@ -5699,6 +5699,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.