bors
d488de82f3
Auto merge of #87587 - oli-obk:lazy_tait, r=spastorino
...
Various refactorings of the TAIT infrastructure
Before this PR we used to store the opaque type knowledge outside the `InferCtxt`, so it got recomputed on every opaque type instantiation.
I also removed a feature gate check that makes no sense in the planned lazy TAIT resolution scheme
Each commit passes all tests, so this PR is best reviewed commit by commit.
r? `@spastorino`
2021-08-11 05:14:45 +00:00
..
2021-07-29 14:56:05 -07:00
2021-07-29 14:56:05 -07:00
2021-07-29 14:56:05 -07:00
2021-08-02 05:49:17 +00:00
2021-08-02 09:36:54 -05:00
2021-07-29 14:56:05 -07:00
2021-08-02 05:49:17 +00:00
2021-08-03 07:06:19 -07:00
2021-07-29 14:56:05 -07:00
2021-08-06 16:26:56 +02:00
2021-08-11 01:36:23 +00:00
2021-08-05 10:58:55 -07:00
2021-08-09 08:52:04 -05:00
2021-08-02 05:49:17 +00:00
2021-08-11 04:18:36 +09:00
2021-08-05 23:08:29 +02:00
2021-08-06 09:30:47 -05:00
2021-08-03 07:06:19 -07:00
2021-07-29 14:56:05 -07:00
2021-07-29 14:56:05 -07:00
2021-08-06 02:07:01 +00:00
2021-08-02 05:49:17 +00:00
2021-07-29 14:56:05 -07:00
2021-07-29 14:56:05 -07:00
2021-08-06 10:49:35 +00:00
2021-08-04 10:47:59 +01:00
2021-08-02 05:49:17 +00:00
2021-08-06 02:07:01 +00:00
2021-08-07 23:24:15 +00:00
2021-08-08 04:33:22 +00:00
2021-08-02 05:49:17 +00:00
2021-08-09 03:59:30 +00:00
2021-08-07 01:26:15 +00:00
2021-08-11 05:14:45 +00:00
2021-08-05 14:45:09 +00:00
2021-08-08 22:28:01 +00:00
2021-07-29 14:56:05 -07:00
2021-08-07 23:24:15 +00:00
2021-07-29 14:56:05 -07:00
2021-08-04 02:04:04 +00:00
2021-08-03 16:58:56 +00:00
2021-08-02 05:49:17 +00:00
2021-08-06 11:31:52 +02:00
2021-08-04 02:04:04 +00:00
2021-07-29 14:56:05 -07:00
2021-08-09 03:59:30 +00:00
2021-08-03 04:50:28 +00:00
2021-08-11 04:18:33 +09:00
2021-08-09 13:16:51 +00:00
2021-08-11 05:14:45 +00:00
2021-08-02 05:49:17 +00:00
2021-07-29 14:56:05 -07:00
2021-07-29 14:56:05 -07:00
2021-08-11 05:14:45 +00:00