Adapt to coq/coq#8829 (Error when [foo.(bar)] is used with nonprojection [bar]) (!13) · Merge requests · Iris / lambda-rust · GitLab

The source project of this merge request has been removed.

Gaëtan Gilbert requested to merge (removed):proj-syntax-check into master Feb 18, 2019