2 a06baa56b95674fc626b3c3fd680d6a65357fe60
4 95e00bfed801e264e9c4ac817004153ca0f19eb6
5 # reformat with new rustfmt
6 971c549ca334b7b7406e61e958efcca9c4152822
7 # refactor infcx building
8 283abbf0e7d20176f76006825b5c52e9a4234e4c
10 c34fbfaad38cf5829ef5cfe780dc9d58480adeaa
12 cf2dff2b1e3fa55fa5415d524200070d0d7aacfe