This repository has been archived by the owner on Jun 18, 2018. It is now read-only.

Update searches and analyses to respect typebounds #101

Open

pebenito opened this issue Feb 25, 2016 · 1 comment

Labels

enhancement setools package

Milestone

Contributor

pebenito commented Feb 25, 2016

Like with constraints, the kernel will reduce access via typebounds. Update analyses to remove permissions from rules based on bounding.

TBD: determine appropriate behaviors for relevant queries/analyses.

pebenito added enhancement setools package labels

pebenito added this to the Future milestone

Contributor Author

pebenito commented Feb 25, 2016

Complication: rules with attributes. Permission removal may only apply to a subset of the types in the rule.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.