We're updating the issue view to help you get more done. 

simple-* / qualified-* predicate-induced inference

Description

We currently have predicate-induced inference driven by keyword?, symbol? and ident?.

We can safely broaden the scope of these by including the simple-* and qualified-* variants, as satisfying these particular predicates implies we have a subtype.

Environment

None

Status

Assignee

Mike Fikes

Reporter

Mike Fikes

Labels

None

Approval

Accepted

Patch

Code and Test

Priority

Major