tree 61cb443462bf4ced4e411c93c2bdb990b48f1b1a
parent d9067d91c5d030c518c6ef639126569665f89283
author Pavel Yaskevich <pyaskevich@apple.com> 1518081451 -0800
committer Pavel Yaskevich <pyaskevich@apple.com> 1518083739 -0800

[CSBindings] Look through optional types when trying to validate l-valueness of the new bindings

When bindings are picked for particular type variable, right-hand
side of the binding might be another type variable wrapped into optional
type, when trying to determine if both sides of the binding have the
same l-valueness it's imperative to look throught optional type of the
right-hand side. Otherwise new binding might be effectively unsolvable.

Resolves: rdar://problem/37291371