[type-lowering] When determining lowered rvalue types, don't look through moveonlywrapped.

gottesmm · gottesmm · commit 36e1e5200962 · 2022-07-13T14:03:23.000-07:00
This ensures that we do not lose the move only wrapper from the input type if is
SILMoveOnlyWrapped.
diff --git a/include/swift/SIL/TypeLowering.h b/include/swift/SIL/TypeLowering.h
@@ -961,12 +961,12 @@ class TypeConverter {
   }
 
   CanType getLoweredRValueType(TypeExpansionContext context, Type t) {
-    return getLoweredType(t, context).getASTType();
+    return getLoweredType(t, context).getRawASTType();
   }
 
   CanType getLoweredRValueType(TypeExpansionContext context,
                                AbstractionPattern origType, Type substType) {
-    return getLoweredType(origType, substType, context).getASTType();
+    return getLoweredType(origType, substType, context).getRawASTType();
   }
 
   AbstractionPattern getAbstractionPattern(AbstractStorageDecl *storage,

Original file line number	Diff line number	Diff line change
`@@ -961,12 +961,12 @@ class TypeConverter {`
`961`	`961`	`}`
`962`	`962`
`963`	`963`	`CanType getLoweredRValueType(TypeExpansionContext context, Type t) {`
`964`		`- return getLoweredType(t, context).getASTType();`
	`964`	`+ return getLoweredType(t, context).getRawASTType();`
`965`	`965`	`}`
`966`	`966`
`967`	`967`	`CanType getLoweredRValueType(TypeExpansionContext context,`
`968`	`968`	`AbstractionPattern origType, Type substType) {`
`969`		`- return getLoweredType(origType, substType, context).getASTType();`
	`969`	`+ return getLoweredType(origType, substType, context).getRawASTType();`
`970`	`970`	`}`
`971`	`971`
`972`	`972`	`AbstractionPattern getAbstractionPattern(AbstractStorageDecl *storage,`