tree 8e9e6dc5870777656caa19c8719c0fc9150e0fa9
parent 4a955a384ddc72a7f34f89d9dd28feeb59dff28e
parent ec61c4b2269400f07e333375cc6da98dfa8cc0d4
author Ted Kremenek <kremenek@apple.com> 1505257017 -0700
committer GitHub <noreply@github.com> 1505257017 -0700

Merge pull request #11865 from xedin/rdar-34333874-4.0

[4.0] [ConstraintGraph] Disallow subtype constraint contractions