Closed MattWindsor91 closed 4 years ago
Currently there is no way to check that a path that does not contain a particular flag is constructible. With #187, this harms the soundness of constructivity checks, and any solution to that issue should make it easy to plumb in negative checks.
Currently there is no way to check that a path that does not contain a particular flag is constructible. With #187, this harms the soundness of constructivity checks, and any solution to that issue should make it easy to plumb in negative checks.