SIL: Basic block argument type should not contain type parameters

slavapestov · slavapestov · commit 7285a9b4e109 · 2025-04-29T10:54:59.000-04:00
diff --git a/lib/SIL/IR/SILArgument.cpp b/lib/SIL/IR/SILArgument.cpp
@@ -37,6 +37,7 @@ SILArgument::SILArgument(ValueKind subClassKind,
   sharedUInt8().SILArgument.reborrow = reborrow;
   sharedUInt8().SILArgument.pointerEscape = pointerEscape;
   inputParentBlock->insertArgument(inputParentBlock->args_end(), this);
+  ASSERT(!type.hasTypeParameter());
 }
 
 SILFunction *SILArgument::getFunction() {

Original file line number	Diff line number	Diff line change
`@@ -37,6 +37,7 @@ SILArgument::SILArgument(ValueKind subClassKind,`
`37`	`37`	`sharedUInt8().SILArgument.reborrow = reborrow;`
`38`	`38`	`sharedUInt8().SILArgument.pointerEscape = pointerEscape;`
`39`	`39`	`inputParentBlock->insertArgument(inputParentBlock->args_end(), this);`
	`40`	`+ ASSERT(!type.hasTypeParameter());`
`40`	`41`	`}`
`41`	`42`
`42`	`43`	`SILFunction *SILArgument::getFunction() {`