tree 1afb2498e62a13135dbd99592737310214e02028
parent 7371426c225fe5123bdda7ac693e2454aed8613b
author Jennifer Messerly <jmesserly@google.com> 1485559410 -0800
committer William Hesse <whesse@google.com> 1485632147 +0100

fix #28526, await FutureOr<T>
fix #28527, FutureOr<T> subtyping with type parameters

For subtyping: we've had a long standing issue in how inference reuses the <: operator code. Inference needs to make sure constraints are recorded on the type parameters we're inferring, but it also needs to correctly implement the future or union. This change addresses that & is a step towards the bigger inference change upcoming that tracks top/bottom constraints explicitly.

R=leafp@google.com

Review-Url: https://codereview.chromium.org/2655273008 .