Closed maxaalexeeva closed 2 years ago
main change: drop Identifier label on an expanded Identifier mention---it is no longer just an identifier if we expand---this was what broke test t3f
other:
@alicekwak it should be safe to merge this into your branch (even if tests fail here). I can walk you through the changes tomorrow or Wednesday if something is unclear.
main change: drop Identifier label on an expanded Identifier mention---it is no longer just an identifier if we expand---this was what broke test t3f
other: