53 Commits

Author	SHA1	Message	Date
Kavon Farvardin	b4985f7fde	[NFC] replace canBeNoncopyable ... First, "can have an absence of Copyable" is a rather confusing notion, so the query is flipped to "can be Copyable". Next, it's more robust to ask if a conformance exists for the TypeDecl to answer that question, rather than trying to replicate what happens within that conformance lookup. Also renames `TypeDecl::isEscapable` to match.	2024-01-23 22:42:38 -08:00
Slava Pestov	9835a6f0ba	AST: Assert that checkConformance() receives a fully-substituted type	2024-01-18 16:15:02 -05:00
Slava Pestov	f9e7181d46	AST: Split off ConformanceLookup.cpp from Module.cpp	2024-01-18 12:32:04 -05:00