| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-10-19 | Add stable Instance::body() and RustcInternal trait | Celina G. Val | -0/+7 | |
| 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-16 | Add MonoItems and Instance to stable_mir | Celina G. Val | -0/+69 | |
| Also add a few methods to instantiate instances and get an instance definition. We're still missing support to actually monomorphize the instance body. | ||||
