hax_
frontend_
exporter
0.1.0
Modules
body
comments
constant_utils
deterministic_hash
id_table
index_vec
mir_kinds
prelude
rustc
rustc_utils
sinto
state
traits
types
utils
Macros
cfg_feature_rustc
schema_for
sinto_as_usize
sinto_todo
Structs
AdtDef
AdtExpr
Alias
AnonConst
Arm
Ascription
AssocItem
AttrItem
Attribute
BasicBlockData
Binder
BindingMode
Block
BoundRegion
BoundTy
CORE_EXTRACTION_MODE
Canonical
CanonicalUserTypeAnnotation
Clause
ClosureArgs
CoercePredicate
ConstArg
Constant
ConstantFieldExpr
CopyNonOverlapping
Decorated
DefId
DefIdContents
DelimArgs
DisambiguatedDefPathItem
DiscriminantValue
EarlyParamRegion
ExistentialProjection
ExistentialTraitRef
ExpnData
FieldDef
FieldExpr
FieldPat
FnDecl
FnDef
FnHeader
FnSig
ForeignItem
FruInfo
FullDef
GenericParam
GenericParamDef
GenericPredicates
Generics
HashMap
HirFieldDef
HirId
Impl
ImplAssocItem
ImplExpr
ImplInfos
ImplItem
IndexVec
Instance
Item
ItemAttributes
LateParamRegion
Loc
LocalDecl
LocalIdent
MacroDef
MacroInvokation
MetaItemLit
MirBody
NormalAttr
OpaqueTy
OutlivesPredicate
Param
ParamConst
ParamTy
PatRange
PathBuf
PathSegment
Place
Placeholder
Predicate
PredicateId
PredicateSearcher
ProjectionPredicate
RDefId
RLocalDefId
ROwnerId
Rc
Region
ReprOptions
ScalarInt
Scope
SourceInfo
SourceScopeData
SourceScopeLocalData
Span
Spanned
Statement
Stmt
SubtypePredicate
Terminator
TraitItem
TraitPredicate
TraitRef
Ty
TyFnSig
TyGenerics
TypeAndMut
TypeMap
TypedConstantKind
UsePath
UserArgs
UserSelfTy
Variant
VariantDef
VariantInformations
Enums
Abi
AdtFlags
AdtKind
AggregateKind
AliasKind
AliasRelationDirection
Align
AnalysisPhase
AssertMessage
AssocItemContainer
AssocItemKind
AssocKind
AstPass
AttrArgs
AttrArgsEq
AttrKind
AttrStyle
BasicBlock
BinOp
BlockSafety
BorrowKind
BoundRegionKind
BoundTyKind
BoundVariableKind
ByRef
CanonicalTyVarKind
CanonicalVarInfo
CastKind
ClauseKind
ClearCrossCrate
ClosureKind
CoercionSource
CommentKind
ConstAllocation
ConstArgKind
ConstantExprKind
ConstantInt
ConstantLiteral
Constness
CoroutineInfo
CoverageKind
CtorKind
CtorOf
DefKind
DefPathItem
Defaultness
DelimSpan
Delimiter
DesugaringKind
DiscriminantDefinition
DynKind
Edition
ErrorGuaranteed
ExistentialPredicate
ExpnKind
ExprKind
FakeBorrowKind
FakeReadCause
FieldIdx
FileName
FloatTy
FnRetTy
ForeignItemKind
FullDefKind
FunOperand
GenericArg
GenericParamDefKind
GenericParamKind
HirGenericArgs
ImplAssocItemValue
ImplExprAtom
ImplExprPathChunk
ImplItemKind
ImplPolarity
ImplTraitInTraitData
ImplicitSelfKind
InferTy
InlineAsm
InlineAsmOperand
InlineAsmOptions
InlineAsmTemplatePiece
InlineAttr
InstanceKind
IntTy
IntUintTy
IntegerType
IsAsync
IsAuto
ItemKind
LifetimeParamKind
LintLevel
LitFloatType
LitIntType
LitKind
Local
LocalInfo
LogicalOp
MacroKind
MirPhase
MirSource
MissingLifetimeKind
Movability
MutBorrowKind
NonDivergingIntrinsic
NonMacroAttrKind
NormalizesTo
NullOp
OpaqueTyOrigin
Operand
OwnerId
ParamName
PatKind
PatRangeBoundary
PlaceKind
PointerCoercion
PredicateKind
PrimTy
ProjectionElem
ProjectionElemFieldKind
QPath
RangeEnd
ReadSpanErr
RealFileName
RegionKind
ReprFlags
Res
RetagKind
RuntimePhase
Rvalue
Safety
ScalarInt
ScopeData
SourceScope
StatementKind
StmtKind
StrStyle
SwitchTargets
Term
TerminatorKind
TraitItemKind
TranslateUnevalRes
TyKind
UintTy
UnOp
UnwindAction
UnwindTerminateReason
UseKind
UserType
UserTypeAnnotationIndex
UserTypeProjection
UserTypeProjections
VarDebugInfo
Variance
VariantData
VariantKind
Visibility
WhereEqPredicate
WhereRegionPredicate
Traits
ConstantExt
Deserialize
ExprKindExt
IsBody
IsMirKind
JsonSchema
ParamEnv
SExpect
SInto
Serialize
SubstBinder
TypeMapper
Functions
argument_span_of_mac_call
body_from_id
const_value_to_constant_expr
erase_and_norm
get_closest_parent_type
get_def_kind
get_def_span
get_thir
implied_predicates
inline_macro_invocations
make_fn_def
predicates_defined_on
required_predicates
self_clause_for_item
self_predicate
solve_item_implied_traits
solve_item_required_traits
solve_trait
super_clause_to_clause_and_impl_expr
translate_span
Type Aliases
BasicBlocks
BoundVar
CanonicalUserType
CanonicalUserTypeAnnotations
ConstantExpr
ConstantKind
DebruijnIndex
EnumDef
Expr
FirstStatementIndex
GlobalIdent
Ident
ItemLocalId
Mutability
Pat
Path
PlaceholderConst
PlaceholderRegion
PlaceholderType
PolyFnSig
RegionOutlivesPredicate
RegionVid
Symbol
ThirBody
TokenStream
TypeOutlivesPredicate
UniverseIndex
VariantIdx
Derive Macros
AdtInto
Deserialize
JsonSchema
Serialize
Trait Aliases
TypeMappable
hax_frontend_exporter
Function
translate_span
Copy item path
Settings
Help
Summary
source
pub fn translate_span(span:
Span
, sess: &Session) ->
Span