Struct ResolverOutput

Source

pub struct ResolverOutput {
    pub path_res_map: UnordMap<NodeId, PartialRes>,
    pub param_res_map: UnordMap<NodeId, (ParamId, ParamKind)>,
    pub implicit_params: UnordMap<NodeId, Vec<(Ident, NodeId)>>,
    pub sort_path_res_map: UnordMap<NodeId, SortRes>,
    pub expr_path_res_map: UnordMap<NodeId, PartialRes<ParamId>>,
    pub qualifier_res_map: UnordMap<NodeId, Vec<FluxLocalDefId>>,
    pub reveal_res_map: UnordMap<NodeId, Vec<FluxDefId>>,
}

Fields§

§path_res_map: UnordMap<NodeId, PartialRes>§param_res_map: UnordMap<NodeId, (ParamId, ParamKind)>

Resolution of explicitly and implicitly scoped parameters. The fhir::ParamId is unique per item. The [NodeId] used as the key corresponds to the node introducing the parameter. When explicit, this is the id of the [surface::GenericArg] or [surface::RefineParam], when implicit, this is the id of the [surface::RefineArg::Bind] or [surface::FnInput].

§implicit_params: UnordMap<NodeId, Vec<(Ident, NodeId)>>

List of implicitly scoped params defined in a scope. The [NodeId] used as key is the id of the node introducing the scope, e.g., [surface::FnSig], [surface::FnOutput], or [surface::VariantDef]. The [NodeId]s in the vectors are keys in Self::param_res_map.

§sort_path_res_map: UnordMap<NodeId, SortRes>§expr_path_res_map: UnordMap<NodeId, PartialRes<ParamId>>§qualifier_res_map: UnordMap<NodeId, Vec<FluxLocalDefId>>

The resolved list of local qualifiers per function. The [NodeId] corresponds to the [surface::FnSpec].

§reveal_res_map: UnordMap<NodeId, Vec<FluxDefId>>

The resolved list of local reveals per function The [NodeId] corresponds to the [surface::FnSpec].

ResolverOutput

Struct ResolverOutput Copy item path

Fields§

Trait Implementations§

impl Default for ResolverOutput

fn default() -> ResolverOutput

Auto Trait Implementations§

impl Freeze for ResolverOutput

impl RefUnwindSafe for ResolverOutput

impl Send for ResolverOutput

impl Sync for ResolverOutput

impl Unpin for ResolverOutput

impl UnwindSafe for ResolverOutput

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<P> IntoQueryParam<P> for P

fn into_query_param(self) -> P

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

Struct ResolverOutput

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,