Closed
Description
openedon Oct 11, 2023
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.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Metadata
Assignees
Labels
No labels