Paul Berry
9a0e962e67
This flag indicates when a procedure's return type makes contravariant use of a class type parameter. The front end will have to insert "as" checks at any call sites that refer to such a procedure as their interface target. Placing the flag on the procedure will allow the front end to determine whether the check is needed once, at the same time as it's determining the need for covariant parameter checks, rather than when compiling individual call sites. Once this lands I will follow up with CLs that cause the front end to set the flag appropriately, and to generate the necessary "as" checks. Change-Id: I989fc702bc233384eb5ea8cd630c8efd384ab248 Reviewed-on: https://dart-review.googlesource.com/14365 Reviewed-by: Samir Jindel <sjindel@google.com> Commit-Queue: Paul Berry <paulberry@google.com>