2 Commits

Author	SHA1	Message	Date
Slava Pestov	bd46bdaaaa	AST: Narrow the filtering of unavailable conformances to Sendable only ... Remove the allowUnavailable parameter to lookupConformance(), and instead explicitly check the result for hasUnavailableConformance() in the places where we used to pass 'false'. Also, narrow down this check in those places to the Sendable protocol only, fixing a regression with Hashable conformance synthesis. Fixes rdar://problem/94460143.	2022-06-14 21:24:08 -04:00
Slava Pestov	0254c0ee7c	RequirementMachine: Fix handling of unavailable Sendable conformances in concretizeNestedTypesFromConcreteParent() ... We can't just ignore unavailable conformances because the generic signature we're computing might itself be attached to an unavailable declaration. Until we get a proper fix, only drop unavailable conformances to Sendable here. Fixes rdar://problem/94305457.	2022-06-10 17:46:40 -04:00