Celina G. Val
6ed2a76bcc
Add stable Instance::body() and RustcInternal trait
...
The `Instance::body()` returns a monomorphized body.
For that, we had to implement visitor that monomorphize types and
constants. We are also introducing the RustcInternal trait that will
allow us to convert back from Stable to Internal.
Note that this trait is not yet visible for our users as it depends on
Tables. We should probably add a new trait that can be exposed.
2023-10-19 17:12:26 -07:00
..
2023-09-25 14:38:27 +00:00
2023-10-16 15:38:08 -07:00
2023-10-08 20:17:53 -07:00
2023-10-15 13:23:55 +00:00
2023-10-16 15:38:08 -07:00
2023-10-16 15:38:08 -07:00
2023-10-17 04:41:20 +00:00
2023-10-16 15:38:08 -07:00
2023-10-16 15:38:08 -07:00
2023-10-18 06:19:04 +00:00
2023-10-16 15:38:08 -07:00
2023-10-16 15:38:08 -07:00
2023-10-16 15:38:08 -07:00
2023-10-18 23:44:36 +11:00
2023-10-15 13:23:55 +00:00
2023-10-18 09:57:07 +00:00
2023-10-18 03:55:36 +00:00
2023-10-16 15:38:08 -07:00
2023-10-18 07:45:56 +00:00
2023-10-16 15:38:08 -07:00
2023-10-16 15:38:08 -07:00
2023-10-16 06:26:20 +02:00
2023-10-16 15:38:08 -07:00
2023-10-16 15:38:08 -07:00
2023-10-08 20:17:53 -07:00
2023-10-08 20:17:53 -07:00
2023-10-01 05:56:47 +00:00
2023-10-18 15:17:48 +00:00
2023-10-11 10:46:55 +11:00
2023-10-18 15:17:48 +00:00
2023-10-13 00:09:30 +00:00
2023-10-06 15:46:11 +00:00
2023-10-18 11:55:41 +00:00
2023-10-17 19:53:51 -04:00
2023-10-18 11:55:41 +00:00
2023-10-14 07:29:08 +00:00
2023-10-08 20:17:53 -07:00
2023-10-10 09:39:47 +08:00
2023-10-13 08:59:36 +00:00
2023-10-17 19:53:51 -04:00
2023-10-18 18:48:34 +00:00
2023-10-18 21:20:29 +11:00
2023-10-13 08:59:36 +00:00
2023-10-18 23:44:34 +11:00
2023-10-07 10:29:37 +02:00
2023-10-15 13:23:55 +00:00
2023-10-08 20:17:53 -07:00
2023-10-17 19:53:51 -04:00
2023-10-08 20:17:53 -07:00
2023-10-13 08:59:36 +00:00
2023-10-08 20:17:53 -07:00
2023-10-13 08:59:36 +00:00
2023-10-13 08:59:36 +00:00
2023-10-08 20:17:53 -07:00
2023-10-17 19:53:51 -04:00
2023-10-19 17:12:26 -07:00
2023-10-16 19:50:29 -07:00
2023-10-17 18:02:57 +02:00
2023-10-16 08:17:23 +11:00
2023-10-18 15:17:48 +00:00
2023-09-13 17:35:44 +00:00
2023-10-06 11:25:32 +11:00
2023-10-13 08:59:36 +00:00
2023-10-17 16:26:37 +11:00
2023-10-19 17:12:26 -07:00