Small fixes.

kavon · kavon · commit d62492795a18 · 2025-08-22T15:28:54.000-07:00
diff --git a/lib/SILGen/SILGenExpr.cpp b/lib/SILGen/SILGenExpr.cpp
@@ -1111,7 +1111,8 @@ RValue RValueEmitter::visitLoadExpr(LoadExpr *E, SGFContext C) {
 }
 
 RValue RValueEmitter::visitBorrowExpr(BorrowExpr *E, SGFContext C_Ignored) {
-  // FIXME: how about address-only types? Maybe BorrowedAddressRead?
+  ASSERT(!SGF.getTypeLowering(E->getType()).getLoweredType().isAddress()
+  && "unhandled address-only type");
 
   // NOTE: You should NOT add an evaluation scope here!
   // The callers of this visitor should have established a scope already that

Original file line number	Diff line number	Diff line change
`@@ -1111,7 +1111,8 @@ RValue RValueEmitter::visitLoadExpr(LoadExpr *E, SGFContext C) {`
`1111`	`1111`	`}`
`1112`	`1112`
`1113`	`1113`	`RValue RValueEmitter::visitBorrowExpr(BorrowExpr *E, SGFContext C_Ignored) {`
`1114`		`- // FIXME: how about address-only types? Maybe BorrowedAddressRead?`
	`1114`	`+ ASSERT(!SGF.getTypeLowering(E->getType()).getLoweredType().isAddress()`
	`1115`	`+ && "unhandled address-only type");`
`1115`	`1116`
`1116`	`1117`	`// NOTE: You should NOT add an evaluation scope here!`
`1117`	`1118`	`// The callers of this visitor should have established a scope already that`