Struct hax_frontend_exporter::MirBody

pub struct MirBody<KIND> {

    pub basic_blocks: BasicBlocks,
    pub phase: MirPhase,
    pub pass_count: usize,
    pub source: MirSource,
    pub source_scopes: IndexVec<SourceScope, SourceScopeData>,
    pub coroutine: Option<CoroutineInfo>,
    pub local_decls: IndexVec<Local, LocalDecl>,
    pub user_type_annotations: CanonicalUserTypeAnnotations,
    pub arg_count: usize,
    pub spread_arg: Option<Local>,
    pub var_debug_info: Vec<VarDebugInfo>,
    pub span: Span,
    pub is_polymorphic: bool,
    pub injection_phase: Option<MirPhase>,
    pub tainted_by_errors: Option<ErrorGuaranteed>,
    pub _kind: PhantomData<KIND>,
}

Fields

basic_blocks: BasicBlocks

phase: MirPhase

pass_count: usize

source: MirSource

source_scopes: IndexVec<SourceScope, SourceScopeData>

coroutine: Option<CoroutineInfo>

local_decls: IndexVec<Local, LocalDecl>

user_type_annotations: CanonicalUserTypeAnnotations

arg_count: usize

spread_arg: Option<Local>

var_debug_info: Vec<VarDebugInfo>

span: Span

is_polymorphic: bool

injection_phase: Option<MirPhase>

tainted_by_errors: Option<ErrorGuaranteed>

_kind: PhantomData<KIND>

Trait Implementations

impl<'__de, KIND> BorrowDecode<'__de> for MirBody<KIND>

where KIND: BorrowDecode<'__de>,

fn borrow_decode<__D: BorrowDecoder<'__de>>( decoder: &mut __D, ) -> Result<Self, DecodeError>

Attempt to decode this type with the given BorrowDecode.

impl<KIND: Clone> Clone for MirBody<KIND>

fn clone(&self) -> MirBody<KIND>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<KIND: Debug> Debug for MirBody<KIND>

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

Formats the value using the given formatter.

impl<KIND> Decode for MirBody<KIND>

where KIND: Decode,

fn decode<__D: Decoder>(decoder: &mut __D) -> Result<Self, DecodeError>

Attempt to decode this type with the given Decode.

impl<'de, KIND> Deserialize<'de> for MirBody<KIND>

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<KIND> Encode for MirBody<KIND>

where KIND: Encode,

fn encode<__E: Encoder>(&self, encoder: &mut __E) -> Result<(), EncodeError>

Encode a given type.

impl<MirKind: IsMirKind + Clone + 'static> IsBody for MirBody<MirKind>

fn body<'tcx, S: UnderOwnerState<'tcx>>(did: RLocalDefId, s: &S) -> Self

impl<KIND: JsonSchema> JsonSchema for MirBody<KIND>

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(gen: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl<'tcx, KIND, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, MirBody<KIND>> for Body<'tcx>

fn sinto(&self, s: &S) -> MirBody<KIND>

impl<KIND> Serialize for MirBody<KIND>

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.