Florian Diebold 76fb05d91d Clean up Ty a bit
Removing irrelevant comments copied from rustc etc.
2018-12-24 15:18:37 +01:00
..
2018-12-22 12:38:24 +03:00
2018-12-22 14:48:18 +00:00
2018-12-21 21:06:01 +03:00
2018-12-24 15:18:37 +01:00
2018-12-22 15:09:08 +03:00
2018-12-21 11:52:32 +03:00
⬆️ 1.31.1
2018-12-20 22:57:38 +03:00