metagn
ed9e3cba07
make getType nodes of generic insts have full inst type ( #22655 )
...
fixes #22639 for the third time
Nodes generated by `getType` for `tyGenericInst` types, instead of
having the original `tyGenericInst` type, will have the type of the last
child (due to the `mapTypeToAst` calls which set the type to the given
argument). This will cause subsequent `getType` calls to lose
information and think it's OK to use the sym of the instantiated type
rather than fully expand the generic instantiation.
To prevent this, update the type of the node from the `mapTypeToAst`
calls to the full generic instantiation type.
2023-09-07 05:30:37 +02:00
..
2023-08-11 22:18:24 +08:00
2023-04-24 06:52:37 +02:00
2023-08-06 14:26:21 +02:00
2023-08-06 14:26:21 +02:00
2023-09-02 06:00:26 +02:00
2023-08-19 15:14:56 +02:00
2021-08-13 09:35:48 +02:00
2023-02-22 20:34:20 +01:00
2023-08-06 14:26:21 +02:00
2023-08-06 14:26:21 +02:00
2023-08-24 20:56:58 +02:00
2023-08-31 19:04:32 +08:00
2022-09-28 15:05:01 +02:00
2022-11-30 21:51:13 +01:00
2023-08-10 14:26:40 +02:00
2023-08-10 14:17:15 +02:00
2022-09-27 10:57:47 +02:00
2023-08-10 14:17:15 +02:00
2023-08-20 06:30:36 +02:00
2023-08-06 14:26:21 +02:00
2023-08-18 21:13:27 +02:00
2023-08-02 11:00:34 +02:00
2023-08-06 14:26:21 +02:00
2023-08-06 14:26:21 +02:00
2023-06-10 07:09:03 +02:00
2023-08-25 22:55:17 +02:00
2023-06-18 16:06:14 +02:00
2023-08-11 22:18:24 +08:00
2023-08-08 17:53:21 +08:00
2017-01-07 22:35:09 +01:00
2022-06-10 20:40:08 +02:00
2023-08-10 14:26:40 +02:00
2023-08-10 14:26:40 +02:00
2023-08-06 14:26:21 +02:00
2023-08-11 22:18:24 +08:00
2023-08-06 14:26:21 +02:00
2022-03-23 20:34:53 +01:00
2023-08-06 14:26:21 +02:00
2023-08-11 12:50:41 +08:00
2023-08-06 14:26:21 +02:00
2023-08-08 16:08:16 +08:00
2023-08-06 14:26:21 +02:00
2023-08-06 14:26:21 +02:00
2023-08-06 14:26:21 +02:00
2023-09-01 06:41:39 +02:00
2022-03-23 20:34:53 +01:00
2023-08-06 14:26:21 +02:00
2020-06-01 19:21:41 +02:00
2023-08-19 21:04:25 +02:00
2023-06-10 17:32:11 +02:00
2023-08-25 06:48:08 +02:00
2023-08-06 14:26:21 +02:00
2023-08-17 18:52:38 +02:00
2023-02-27 00:56:43 +01:00
2023-08-27 14:29:24 +02:00
2023-05-06 21:27:28 +02:00
2023-08-06 14:26:21 +02:00
2023-09-05 10:31:28 +02:00
2023-08-06 14:26:21 +02:00
2023-08-09 08:18:47 +08:00
2023-08-06 14:26:21 +02:00
2023-08-06 14:26:21 +02:00
2023-09-04 14:36:45 +02:00
2023-08-24 06:11:48 +02:00
2021-01-12 09:36:51 +01:00
2023-08-11 22:18:24 +08:00
2023-08-10 14:26:40 +02:00
2023-08-11 12:50:41 +08:00
2022-05-30 18:52:19 +02:00
2023-03-03 07:36:38 +01:00
2023-08-06 14:26:21 +02:00
2022-03-23 20:34:53 +01:00
2023-08-06 14:26:21 +02:00
2023-08-08 17:53:21 +08:00
2023-08-10 14:26:40 +02:00
2023-08-06 14:26:21 +02:00
2023-08-06 14:26:21 +02:00
2023-06-30 23:03:25 +02:00
2022-03-23 20:34:53 +01:00
2022-09-11 13:52:43 -04:00
2023-08-06 14:26:21 +02:00
2023-03-08 22:34:59 +01:00
2023-04-17 20:55:22 +02:00
2023-08-06 14:26:21 +02:00
2023-08-10 14:26:40 +02:00
2023-08-06 14:26:21 +02:00
2023-04-24 06:52:37 +02:00
2023-08-06 14:26:21 +02:00
2023-09-01 06:26:53 +02:00
2022-08-24 09:44:16 +02:00
2023-05-02 10:49:17 +02:00
2023-03-02 09:16:28 +01:00
2023-08-06 14:26:21 +02:00
2023-08-10 14:26:40 +02:00
2023-03-03 07:36:38 +01:00
2023-08-06 14:26:21 +02:00
2018-05-27 19:19:12 +02:00
2023-08-28 21:41:18 +02:00
2020-11-25 07:48:27 +01:00
2020-09-22 18:24:13 +02:00
2023-07-02 22:36:05 +02:00
2023-08-23 13:43:02 +02:00
2023-08-06 14:26:21 +02:00
2023-08-25 06:48:08 +02:00
2023-08-06 14:26:21 +02:00
2023-08-10 14:26:40 +02:00
2020-09-11 01:04:07 +02:00
2023-08-10 14:26:40 +02:00
2023-09-02 20:42:40 +02:00
2023-09-01 15:37:16 +02:00
2023-09-01 13:42:47 +02:00
2023-09-03 13:59:03 +02:00
2023-04-24 06:52:37 +02:00
2023-09-02 10:32:46 +02:00
2023-08-09 06:12:14 +02:00
2023-08-12 08:30:17 +08:00
2022-10-22 06:37:23 +02:00
2023-09-04 23:18:58 +02:00
2023-09-01 08:55:19 +02:00
2023-08-06 14:26:21 +02:00
2023-09-04 14:36:45 +02:00
2023-09-01 08:59:48 +02:00
2022-12-11 16:58:50 +01:00
2023-08-28 21:40:46 +02:00
2023-09-01 13:42:47 +02:00
2023-09-06 05:45:07 +03:00
2023-08-11 22:18:24 +08:00
2023-09-06 05:45:07 +03:00
2022-12-10 15:42:22 +01:00
2023-08-06 14:26:21 +02:00
2023-08-06 14:26:21 +02:00
2023-08-06 14:26:21 +02:00
2023-09-05 10:30:13 +02:00
2023-08-06 14:26:21 +02:00
2023-08-10 14:26:40 +02:00
2023-08-11 12:50:41 +08:00
2023-08-21 20:08:57 +02:00
2023-08-06 14:26:21 +02:00
2023-08-06 14:26:21 +02:00
2023-08-25 06:48:08 +02:00
2023-08-06 14:26:21 +02:00
2023-08-11 22:18:24 +08:00
2023-08-29 13:59:51 +08:00
2023-08-10 14:26:40 +02:00
2023-08-21 20:08:00 +02:00
2023-09-07 05:30:37 +02:00
2023-09-01 15:38:25 +02:00
2023-08-10 14:26:40 +02:00
2023-08-06 14:26:21 +02:00
2023-08-18 16:47:47 +02:00
2023-08-06 14:26:21 +02:00
2023-08-21 20:08:57 +02:00