From 6f64f5e944e1c12ced5d6d8c884ed40afd5f3fe3 Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Thu, 21 Aug 2025 09:57:22 +0800
Subject: [PATCH 1/2] [expected.object.monadic] Add missing necessary
 `typename`

---
 source/utilities.tex | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/source/utilities.tex b/source/utilities.tex
index 78f27b093d..2454978c34 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -9105,7 +9105,7 @@
 \pnum
 \mandates
 \tcode{U} is a specialization of \tcode{expected} and
-\tcode{is_same_v<U::error_type, E>} is \tcode{true}.
+\tcode{is_same_v<typename U::error_type, E>} is \tcode{true}.
 
 \pnum
 \effects
@@ -9136,7 +9136,7 @@
 \pnum
 \mandates
 \tcode{U} is a specialization of \tcode{expected} and
-\tcode{is_same_v<U::error_type, E>} is \tcode{true}.
+\tcode{is_same_v<typename U::error_type, E>} is \tcode{true}.
 
 \pnum
 \effects
@@ -9166,7 +9166,7 @@
 \pnum
 \mandates
 \tcode{G} is a specialization of \tcode{expected} and
-\tcode{is_same_v<G::value_type, T>} is \tcode{true}.
+\tcode{is_same_v<typename G::value_type, T>} is \tcode{true}.
 
 \pnum
 \effects
@@ -9197,7 +9197,7 @@
 \pnum
 \mandates
 \tcode{G} is a specialization of \tcode{expected} and
-\tcode{is_same_v<G::value_type, T>} is \tcode{true}.
+\tcode{is_same_v<typename G::value_type, T>} is \tcode{true}.
 
 \pnum
 \effects

From cc064701d85fcd2e25c20e4f195a5c54358beba7 Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Thu, 21 Aug 2025 09:57:44 +0800
Subject: [PATCH 2/2] [expected.void.monadic] Add missing necessary `typename`

---
 source/utilities.tex | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/source/utilities.tex b/source/utilities.tex
index 2454978c34..2d6ac81372 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -10085,7 +10085,7 @@
 \pnum
 \mandates
 \tcode{U} is a specialization of \tcode{expected} and
-\tcode{is_same_v<U::error_type, E>} is \tcode{true}.
+\tcode{is_same_v<typename U::error_type, E>} is \tcode{true}.
 
 \pnum
 \effects
@@ -10115,7 +10115,7 @@
 \pnum
 \mandates
 \tcode{U} is a specialization of \tcode{expected} and
-\tcode{is_same_v<U::error_type, E>} is \tcode{true}.
+\tcode{is_same_v<typename U::error_type, E>} is \tcode{true}.
 
 \pnum
 \effects
@@ -10141,7 +10141,7 @@
 \pnum
 \mandates
 \tcode{G} is a specialization of \tcode{expected} and
-\tcode{is_same_v<G::value_type, T>} is \tcode{true}.
+\tcode{is_same_v<typename G::value_type, T>} is \tcode{true}.
 
 \pnum
 \effects
@@ -10168,7 +10168,7 @@
 \pnum
 \mandates
 \tcode{G} is a specialization of \tcode{expected} and
-\tcode{is_same_v<G::value_type, T>} is \tcode{true}.
+\tcode{is_same_v<typename G::value_type, T>} is \tcode{true}.
 
 \pnum
 \effects