bors
3503f565e1
Auto merge of #73751 - eddyb:no-empty-tables, r=nikomatsakis ...
Remove `TypeckTables::empty(None)` and make hir_owner non-optional.
Each commit before the last one removes uses of `TypeckTables::empty(None)`, replacing the empty tables with having `Option` around the `&'tcx TypeckTables<'tcx>` that HIR visitors kept track of.
The last commit removes the concept of "empty `TypeckTables`" altogether, guaranteeing that every `TypeckTables` corresponds to a HIR body owner.
r? @nikomatsakis
2020-07-02 16:33:00 +00:00
2020-07-02 12:35:08 +00:00
2020-07-02 12:35:08 +00:00
2020-06-30 22:22:32 -07:00
2020-07-01 20:35:41 -07:00
2020-07-01 07:42:42 -07:00
2020-07-02 00:16:41 -07:00
2020-07-01 20:35:48 -07:00
2020-07-01 20:35:48 -07:00
2020-07-02 12:35:08 +00:00
2020-07-02 00:16:32 -07:00
2020-06-29 12:31:25 -07:00
2020-07-02 00:16:30 -07:00
2020-06-30 17:53:45 -07:00
2020-07-02 16:48:35 +03:00
2020-07-01 20:36:00 -07:00
2020-06-30 22:22:32 -07:00
2020-07-02 12:35:08 +00:00
2020-06-30 22:22:32 -07:00
2020-06-28 10:08:09 -07:00
2020-06-29 12:31:25 -07:00
2020-07-02 16:51:07 +03:00
2020-07-01 20:35:56 -07:00
2020-07-02 16:51:04 +03:00
2020-07-01 20:35:46 -07:00
2020-07-02 16:33:00 +00:00
2020-07-02 00:16:30 -07:00
2020-06-30 10:58:23 +02:00
2020-07-01 20:35:50 -07:00
2020-07-02 16:33:00 +00:00
2020-07-02 16:49:41 +03:00
2020-06-28 10:08:09 -07:00
2020-07-01 13:40:46 +03:00
2020-07-02 16:50:39 +03:00
2020-07-02 12:35:08 +00:00
2020-07-02 12:35:08 +00:00
2020-06-30 09:13:56 +02:00
2020-07-02 00:16:26 -07:00
2020-07-02 16:33:00 +00:00
2020-06-30 09:13:56 +02:00
2020-07-02 16:33:00 +00:00
2020-06-30 09:13:56 +02:00
2020-07-01 20:36:06 -07:00
2020-07-02 12:35:08 +00:00
2020-07-02 16:51:04 +03:00
3503f565e1