diff --git a/cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/Reason.qll b/cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/Reason.qll
index cd200603fa0..a3f1fdacf18 100644
--- a/cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/Reason.qll
+++ b/cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/Reason.qll
@@ -65,6 +65,8 @@ module Make<ParamSig Param> {
   class SemTypeReason extends SemReason, TSemTypeReason {
     TypeReasonImpl impl;
 
+    SemTypeReason() { this = TSemTypeReason(impl) }
+
     override string toString() { result = "TypeReason" }
 
     bindingset[this, reason]