summary refs log tree commit diff
path: root/compiler/stable_mir/src/error.rs
AgeCommit message (Collapse)AuthorLines
2023-10-19Add stable Instance::body() and RustcInternal traitCelina 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-16Add MonoItems and Instance to stable_mirCelina 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.