4 Commits

Author	SHA1	Message	Date
Kavon Farvardin	5230b19ef6	Test: replace '@_moveOnly' with '~Copyable'	2024-07-23 11:05:33 -07:00
Kavon Farvardin	2c7d9a5047	update tests given move-only types are enabled ... the main things still left behind the experimental flag(s) are - move-only classes (guarded by MoveOnlyClasses feature) - noimplicitcopy - the _borrow operator	2023-03-14 18:35:13 -07:00
Joe Groff	03a2393a6c	IRGen: Track IsCopyable through type infos. ... And use the new bit to ensure we don't try to lower move-only types with common layout value witness surrogates. Take a bit in the runtime value witness flags to represent types that are not copyable.	2023-02-27 18:52:50 -08:00
Joe Groff	afa5837aeb	IRGen: Use deinit to destroy move-only structs that have them. ... The `deinit` takes full responsibility for destroying the value, using the user-defined deinit body and implicitly destroying any remaining resources not consumed during the deinit. Remaining to do after this patch: - Run the deinit for enums - Pass generic arguments for generic move-only types - Handle deinits that take their parameter indirectly - Teach value witness layout about when types are move-only and/or have deinits, so that we don't attempt to give move-only types standard value witness tables or share box metadata with copyable payloads	2023-02-22 16:48:30 -08:00