2 Commits

Author	SHA1	Message	Date
Joe Groff	02800046c6	Look through copy_addr and opened existentials to diagnose move-only sources.	2023-12-15 16:36:09 -08:00
Joe Groff	96c87dbf81	Move-only-check the yielded result from read coroutines when they're noncopyable. ... Mark the result of starting a read coroutine to be checked by the move-only checker, and then update the pattern matching in the move checker itself so that it recognizes code patterns involving yielding from and receiving yields from read coroutines. Teach move only diagnostics to get the property name for an access through a read coroutine from the referenced declaration.	2023-12-11 10:54:52 -08:00