Closed
Description
In order to be able to invoke some rustc operations (like Instance::resolve
), we need the rustc version of GenericArgs
, which contains Ty
, Lifetime
and Const
. We should add functionality in the rustc_smir
crate for converting back to these three rustc types when starting out with a smir type. This will mostly involve writing the inverse of their Stable::stable
method.
### Tasks
- [ ] Implement `RustcInternal` for `Lifetime`
Metadata
Metadata
Assignees
Labels
No labels