tree f5a4d377ba44a201a87934fd94fe3ce64756394b
parent 3798bedfa672a7d24fde745aab1ed4f4806e993f
parent 1e7562a527c7bcb6c3efa6b3da151c947ed3283b
author Doug Gregor <dgregor@apple.com> 1518111491 -0800
committer GitHub <noreply@github.com> 1518111491 -0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJafIsDCRBK7hj4Ov3rIwAAdHIIAIjHFIQ5+0rQSJ3kIUku3xcH
 rxvhOQqAgtqbQPs5tnGEVm4FlbVlggPNS/AM5XRCFaOYDwK9Bq6Opu1iVRGVoYHz
 d0jXiVHebvyJsCtMK0nGMjxhDl4+gBVDgqxJCz1Y2lvY4vSYMEisR5vqnwV79Uml
 NdBEeIvT6agzijaVzeTp1+hegrAWFhJDXViSvnzfrUuGyV+co4qNUOhjDIzm/VKO
 tBnPCncDuU4UughY926IBzI7mvVDuCkDqzQcZq+jJPSA7/yi7CTuyIpCqEk0CLVi
 fridzdMLj3oc6bVFKDSfsTTcbR2cUKaLew1PGjRFE4hnDePwf/Y1VllXEbN5xcA=
 =J186
 -----END PGP SIGNATURE-----
 

Merge pull request #14454 from DougGregor/gsb-term-rewriting

[GSB] Term rewriting for same-type constraints