Thread predicate-induced inference through and

Description

If you have an expression like

then, if the first argument to and is satisfied, we know that x must be a string, and we can carry that through to the subsequent arguments to and.

In particular, in the example above, the count intrinsic should be enabled and the JavaScript generated should involve a direct access on the length field as opposed to a call to count:

Environment

None

Status

Assignee

Mike Fikes

Reporter

Mike Fikes

Labels

None

Approval

Accepted

Patch

Code and Test

Priority

Major
Configure