4 Commits

Author	SHA1	Message	Date
Hamish Knight	28772234bc	[CS] Allow contextual types with errors ... Previously we would skip type-checking the result expression of a `return` or the initialization expression of a binding if the contextual type had an error, but that misses out on useful diagnostics and prevents code completion and cursor info from working. Change the logic such that we open ErrorTypes as holes and continue to type-check.	2025-08-29 15:04:20 +01:00
Slava Pestov	e7d7f6f69f	RequirementMachine: Add Copyable/Escapable requirements to 'placeholder' generic signatures ... If we fail to build a generic signature (or requirement signature of a protocol) because of a request cycle or because Knuth-Bendix completion failed, we would create a placeholder signature with no requirements. However in a move-only world, a completely unconstrained generic parameter might generate spurious diagnostics when used in a copyable way. For this reason, let's outfit these placeholder signatures with a default set of conformance requirements to Copyable and Escapable.	2024-02-20 18:26:05 -05:00
Kavon Farvardin	f296d8e158	NCGenerics: mass XFAIL tests ... It's easier to get a handle on regressions while working through failures if the tests that are known to not pass are XFAIL'd for NoncopyableGenerics.	2024-02-20 18:26:05 -05:00
Anthony Latsis	24ac121da1	Gardening: Migrate test suite to GH issues: validation-test/compiler_crashers_2_fixed (3/4)	2022-09-27 23:44:05 +03:00