Struct rustc_middle::ty::context::ResolvedOpaqueTy

pub struct ResolvedOpaqueTy<'tcx> {
    pub concrete_type: Ty<'tcx>,
    pub substs: SubstsRef<'tcx>,
}

All information necessary to validate and reveal an impl Trait.

Fields

concrete_type: Ty<'tcx>

The revealed type as seen by this function.

substs: SubstsRef<'tcx>

Generic parameters on the opaque type as passed by this function. For type Foo<A, B> = impl Bar<A, B>; fn foo<T, U>() -> Foo<T, U> { .. } this is [T, U], not [A, B].

Trait Implementations

impl<'tcx> Debug for ResolvedOpaqueTy<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for ResolvedOpaqueTy<'tcx>

fn decode(__decoder: &mut __D) -> Result<Self, <__D as Decoder>::Error>

impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for ResolvedOpaqueTy<'tcx>

fn encode(&self, __encoder: &mut __E) -> Result<(), <__E as Encoder>::Error>

impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for ResolvedOpaqueTy<'tcx>

fn hash_stable(
    &self,
    __hcx: &mut StableHashingContext<'__ctx>,
    __hasher: &mut StableHasher
)