4 Commits

Author	SHA1	Message	Date
Doug Gregor	e29469b9c0	[Opaque result types] Fix mangling issues with opaque result types. ... Fix a trio of issues involving mangling for opaque result types: * Symbolic references to opaque type descriptors are not substitutions * Mangle protocol extension contexts correctly * Mangle generic arguments for opaque result types of generic functions The (de-)serialization of generic parameter lists for opaque type declarations is important for the last bullet, to ensure that the mangling of generic arguments of opaque result types works across module boundaries. Fixes the rest of rdar://problem/50038754.	2019-04-22 17:10:45 -07:00
Joe Groff	b57f35220e	Serialize opaque return type of var/subscript decls.	2019-04-17 14:46:22 -07:00
Joe Groff	be0140fe56	Switch __opaque to some, per the latest rev of the proposal	2019-04-17 14:46:21 -07:00
Joe Groff	141d6bfbf0	Add test for deserializing opaque types across modules	2019-04-17 14:43:32 -07:00