Skip to content

Add a conversion method for going from smir::Ty to rustc::Ty #46

@oli-obk

Description

@oli-obk

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

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions