4 Commits

Author	SHA1	Message	Date
Holly Borla	cd752cca22	[NameLookup] Plumb source location arguments through all name lookup APIs. ... This source location will be used to determine whether to add a name lookup option to exclude macro expansions when the name lookup request is constructed. Currently, the source location argument is unused.	2023-06-11 23:09:47 -07:00
Slava Pestov	57d1600b99	RequirementMachine: Better tests for concrete type requirements with opaque archetypes ... Also fix a weird latent bug. In lookupConcreteNestedType(), we would push nullptr onto the concreteDecls vector if the opaque archetype did not have a nested type with this name. However, this did not turn out to be a problem, since in this code path we would only have a single element in this vector, and the later call to std::min_element() did not end up dereferencing the null pointer. However this is very dodgy, so tweak the code to prevent this from happening and add a test case (which already passed anyway).	2022-03-22 23:53:40 -04:00
Slava Pestov	b0a4efba54	RequirementMachine: Fix lookupConcreteNestedType() to cope with opaque archetypes	2022-03-17 17:45:52 -04:00
Slava Pestov	d90e8122aa	RequirementMachine: Factor out duplicated lookupConcreteNestedType() utility	2022-03-16 13:26:37 -04:00