3 Commits

Author	SHA1	Message	Date
Nate Chandler	e5d87f75a8	[SIL] Add source formal type to checked_cast_br. ... It is necessary for opaque values where for casts that will newly start out as checked_cast_brs and be lowered to checked_cast_addr_brs, since the latter has the source formal type, IRGen relies on being able to access it, and there's no way in general to obtain the source formal type from the source lowered type.	2023-07-27 15:04:15 -07:00
Andrew Trick	6525a61af3	Fix SIL test cases for terminator ownership verification.	2021-09-07 22:50:46 -07:00
Andrew Trick	33fecc9b21	Serialize SIL forwarding ownership on terminators.	2021-09-07 10:20:14 -07:00