Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Disallow full identifiers from ending with a slash #1206
Full identifiers (e.g.
This PR makes full identifiers that end with a slash explicitly invalid.
(It turns out that many of the tests cases were accidentally wrong. Yikes!)
This PR also makes