da58b9d8aa
This is a first cut at downwards inference. The interaction with InferableLiteral etc isn't well sorted out yet, so while downwards inference on nested expressions works, there will currently be spurious warnings. BUG= R=vsm@google.com Review URL: https://codereview.chromium.org/1038213003