3 Commits

Author	SHA1	Message	Date
Kavon Farvardin	040e95cd7d	[NCGenerics] extra coverage for interface emission	2023-12-14 08:45:27 -08:00
Kavon Farvardin	bd1330715c	[NCGenerics] only print ~Copyable in interface ... We can't simply emit the desugared, expanded version of the requirements because there's no way to pretty-print the type `some ~Copyable` when the `~Copyable`'s get replaced with the absence of `Copyable`. We'd be left with just `some _` or need to invent a new top type so we can write `some Top`. Thus, it's best to simply reverse the expansion of default requirements when emitting a swiftinterface file.	2023-12-12 16:40:26 -08:00
Kavon Farvardin	ffc06f9d31	[NCGenerics] add tests for modules/interface files	2023-12-12 16:40:26 -08:00