Trait cairo_lang_semantic::substitution::SemanticObject

pub trait SemanticObject<TRewriter, Error>: Sized {
    // Required method
    fn default_rewrite(
        &mut self,
        rewriter: &mut TRewriter
    ) -> Result<RewriteResult, Error>;
}

Required Methods

fn default_rewrite( &mut self, rewriter: &mut TRewriter ) -> Result<RewriteResult, Error>

Object Safety

This trait is not object safe.

Implementors

impl<'a, Error, TRewriter: HasDb<&'a dyn SemanticGroup> + SemanticRewriter<ConstValue, Error>> SemanticObject<TRewriter, Error> for ConstValueId

impl<'a, Error, TRewriter: HasDb<&'a dyn SemanticGroup> + SemanticRewriter<TypeLongId, Error>> SemanticObject<TRewriter, Error> for TypeId

impl<'a, Error, TRewriter: HasDb<&'a dyn SemanticGroup> + SemanticRewriter<ImplVar, Error>> SemanticObject<TRewriter, Error> for ImplVarId

impl<'a, Error, TRewriter: HasDb<&'a dyn SemanticGroup> + SemanticRewriter<ConcreteFunctionWithBody, Error>> SemanticObject<TRewriter, Error> for ConcreteFunctionWithBodyId

impl<'a, Error, TRewriter: HasDb<&'a dyn SemanticGroup> + SemanticRewriter<FunctionLongId, Error>> SemanticObject<TRewriter, Error> for FunctionId

impl<'a, Error, TRewriter: HasDb<&'a dyn SemanticGroup> + SemanticRewriter<ConcreteImplLongId, Error>> SemanticObject<TRewriter, Error> for ConcreteImplId

impl<'a, Error, TRewriter: HasDb<&'a dyn SemanticGroup> + SemanticRewriter<ConcreteTraitConstantLongId, Error>> SemanticObject<TRewriter, Error> for ConcreteTraitConstantId

impl<'a, Error, TRewriter: HasDb<&'a dyn SemanticGroup> + SemanticRewriter<ConcreteTraitGenericFunctionLongId, Error>> SemanticObject<TRewriter, Error> for ConcreteTraitGenericFunctionId

impl<'a, Error, TRewriter: HasDb<&'a dyn SemanticGroup> + SemanticRewriter<ConcreteTraitLongId, Error>> SemanticObject<TRewriter, Error> for ConcreteTraitId

impl<'a, Error, TRewriter: HasDb<&'a dyn SemanticGroup> + SemanticRewriter<ConcreteTraitTypeLongId, Error>> SemanticObject<TRewriter, Error> for ConcreteTraitTypeId

impl<'a, Error, TRewriter: HasDb<&'a dyn SemanticGroup> + SemanticRewriter<ConcreteEnumLongId, Error>> SemanticObject<TRewriter, Error> for ConcreteEnumId

impl<'a, Error, TRewriter: HasDb<&'a dyn SemanticGroup> + SemanticRewriter<ConcreteExternTypeLongId, Error>> SemanticObject<TRewriter, Error> for ConcreteExternTypeId

impl<'a, Error, TRewriter: HasDb<&'a dyn SemanticGroup> + SemanticRewriter<ConcreteStructLongId, Error>> SemanticObject<TRewriter, Error> for ConcreteStructId

impl<T, Error> SemanticObject<T, Error> for StatementContinue

impl<T, Error> SemanticObject<T, Error> for ValueSelectorArm

impl<T: SemanticRewriter<VarId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprVar

impl<T: SemanticRewriter<InferenceId, Error> + SemanticRewriter<ConcreteTraitId, Error>, Error> SemanticObject<T, Error> for ImplVar

impl<T: SemanticRewriter<Condition, Error> + SemanticRewriter<ExprId, Error> + SemanticRewriter<Option<ExprId>, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprIf

impl<T: SemanticRewriter<Condition, Error> + SemanticRewriter<ExprId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprWhile

impl<T: SemanticRewriter<ExprVarMemberPath, Error> + SemanticRewriter<ExprId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprAssignment

impl<T: SemanticRewriter<ExprVarMemberPath, Error> + SemanticRewriter<ExprId, Error>, Error> SemanticObject<T, Error> for ExprFunctionCallArg

impl<T: SemanticRewriter<FixedSizeArrayItems, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprFixedSizeArray

impl<T: SemanticRewriter<GenericFunctionId, Error> + SemanticRewriter<Vec<GenericArgumentId>, Error>, Error> SemanticObject<T, Error> for ConcreteFunction

impl<T: SemanticRewriter<GenericFunctionWithBodyId, Error> + SemanticRewriter<Vec<GenericArgumentId>, Error>, Error> SemanticObject<T, Error> for ConcreteFunctionWithBody

impl<T: SemanticRewriter<ImplId, Error> + SemanticRewriter<TraitFunctionId, Error>, Error> SemanticObject<T, Error> for ImplGenericFunctionId

impl<T: SemanticRewriter<ImplId, Error> + SemanticRewriter<TraitTypeId, Error>, Error> SemanticObject<T, Error> for ImplTypeId

impl<T: SemanticRewriter<ConcreteTypeId, Error> + SemanticRewriter<Vec<TypeId>, Error> + SemanticRewriter<TypeId, Error> + SemanticRewriter<GenericParamId, Error> + SemanticRewriter<TypeVar, Error> + SemanticRewriter<FunctionId, Error> + SemanticRewriter<ConstValueId, Error> + SemanticRewriter<ImplTypeId, Error> + SemanticRewriter<TraitTypeId, Error>, Error> SemanticObject<T, Error> for TypeLongId

impl<T: SemanticRewriter<Option<ExprId>, Error>, Error> SemanticObject<T, Error> for StatementBreak

impl<T: SemanticRewriter<Option<ExprId>, Error>, Error> SemanticObject<T, Error> for StatementReturn

impl<T: SemanticRewriter<LookupItemId, Error> + SemanticRewriter<ImplDefId, Error> + SemanticRewriter<ImplAliasId, Error> + SemanticRewriter<GenericParamId, Error>, Error> SemanticObject<T, Error> for InferenceId

impl<T: SemanticRewriter<usize, Error>, Error> SemanticObject<T, Error> for LocalConstVarId

impl<T: SemanticRewriter<usize, Error>, Error> SemanticObject<T, Error> for LocalImplVarId

impl<T: SemanticRewriter<usize, Error>, Error> SemanticObject<T, Error> for LocalTypeVarId

impl<T: SemanticRewriter<LocalTypeVarId, Error> + SemanticRewriter<LocalConstVarId, Error> + SemanticRewriter<LocalImplVarId, Error>, Error> SemanticObject<T, Error> for InferenceVar

impl<T: SemanticRewriter<ExprLiteral, Error>, Error> SemanticObject<T, Error> for PatternLiteral

impl<T: SemanticRewriter<ExprStringLiteral, Error>, Error> SemanticObject<T, Error> for PatternStringLiteral

impl<T: SemanticRewriter<ExprTuple, Error> + SemanticRewriter<ExprSnapshot, Error> + SemanticRewriter<ExprDesnap, Error> + SemanticRewriter<ExprAssignment, Error> + SemanticRewriter<ExprLogicalOperator, Error> + SemanticRewriter<ExprBlock, Error> + SemanticRewriter<ExprLoop, Error> + SemanticRewriter<ExprWhile, Error> + SemanticRewriter<ExprFunctionCall, Error> + SemanticRewriter<ExprMatch, Error> + SemanticRewriter<ExprIf, Error> + SemanticRewriter<ExprVar, Error> + SemanticRewriter<ExprLiteral, Error> + SemanticRewriter<ExprStringLiteral, Error> + SemanticRewriter<ExprMemberAccess, Error> + SemanticRewriter<ExprStructCtor, Error> + SemanticRewriter<ExprEnumVariantCtor, Error> + SemanticRewriter<ExprPropagateError, Error> + SemanticRewriter<ExprConstant, Error> + SemanticRewriter<ExprParamConstant, Error> + SemanticRewriter<ExprFixedSizeArray, Error> + SemanticRewriter<ExprMissing, Error>, Error> SemanticObject<T, Error> for Expr

impl<T: SemanticRewriter<ExprVar, Error> + SemanticRewriter<Box<ExprVarMemberPath>, Error> + SemanticRewriter<MemberId, Error> + SemanticRewriter<ConcreteStructId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprVarMemberPath

impl<T: SemanticRewriter<StatementExpr, Error> + SemanticRewriter<StatementLet, Error> + SemanticRewriter<StatementContinue, Error> + SemanticRewriter<StatementReturn, Error> + SemanticRewriter<StatementBreak, Error>, Error> SemanticObject<T, Error> for Statement

impl<T: SemanticRewriter<PatternLiteral, Error> + SemanticRewriter<PatternStringLiteral, Error> + SemanticRewriter<PatternVariable, Error> + SemanticRewriter<PatternStruct, Error> + SemanticRewriter<PatternTuple, Error> + SemanticRewriter<PatternFixedSizeArray, Error> + SemanticRewriter<PatternEnumVariant, Error> + SemanticRewriter<PatternOtherwise, Error> + SemanticRewriter<PatternMissing, Error>, Error> SemanticObject<T, Error> for Pattern

impl<T: SemanticRewriter<ConstValueId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprParamConstant

impl<T: SemanticRewriter<ConcreteVariant, Error> + SemanticRewriter<Option<PatternId>, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for PatternEnumVariant

impl<T: SemanticRewriter<ConcreteVariant, Error> + SemanticRewriter<ValueSelectorArm, Error>, Error> SemanticObject<T, Error> for MatchArmSelector

impl<T: SemanticRewriter<ConcreteVariant, Error> + SemanticRewriter<ExprId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprEnumVariantCtor

impl<T: SemanticRewriter<ConcreteFunction, Error>, Error> SemanticObject<T, Error> for FunctionLongId

impl<T: SemanticRewriter<FunctionId, Error> + SemanticRewriter<Vec<ExprFunctionCallArg>, Error> + SemanticRewriter<Option<ExprId>, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprFunctionCall

impl<T: SemanticRewriter<GenericParamType, Error> + SemanticRewriter<GenericParamConst, Error> + SemanticRewriter<GenericParamImpl, Error>, Error> SemanticObject<T, Error> for GenericParam

impl<T: SemanticRewriter<ConcreteImplId, Error> + SemanticRewriter<ImplFunctionBodyId, Error>, Error> SemanticObject<T, Error> for ImplGenericFunctionWithBodyId

impl<T: SemanticRewriter<ConcreteImplId, Error> + SemanticRewriter<GenericParamId, Error> + SemanticRewriter<ImplVarId, Error>, Error> SemanticObject<T, Error> for ImplId

impl<T: SemanticRewriter<ConcreteTraitId, Error> + SemanticRewriter<Vec<ImplId>, Error> + SemanticRewriter<ImplId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for Ambiguity

impl<T: SemanticRewriter<ConcreteTraitId, Error> + SemanticRewriter<TraitConstantId, Error>, Error> SemanticObject<T, Error> for ConcreteTraitConstantLongId

impl<T: SemanticRewriter<ConcreteTraitId, Error> + SemanticRewriter<TraitFunctionId, Error>, Error> SemanticObject<T, Error> for ConcreteTraitGenericFunctionLongId

impl<T: SemanticRewriter<ConcreteTraitId, Error> + SemanticRewriter<TraitTypeId, Error>, Error> SemanticObject<T, Error> for ConcreteTraitTypeLongId

impl<T: SemanticRewriter<LocalVariable, Error>, Error> SemanticObject<T, Error> for PatternVariable

impl<T: SemanticRewriter<ParamId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for Parameter

impl<T: SemanticRewriter<ConcreteEnumId, Error> + SemanticRewriter<VariantId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ConcreteVariant

impl<T: SemanticRewriter<ConcreteStructId, Error> + SemanticRewriter<ConcreteEnumId, Error> + SemanticRewriter<ConcreteExternTypeId, Error>, Error> SemanticObject<T, Error> for ConcreteTypeId

impl<T: SemanticRewriter<ConcreteStructId, Error> + SemanticRewriter<Vec<(Member, PatternId)>, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for PatternStruct

impl<T: SemanticRewriter<ConcreteStructId, Error> + SemanticRewriter<Vec<(MemberId, ExprId)>, Error> + SemanticRewriter<Option<ExprId>, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprStructCtor

impl<T: SemanticRewriter<TypeId, Error> + SemanticRewriter<ConstValueId, Error> + SemanticRewriter<ImplId, Error>, Error> SemanticObject<T, Error> for GenericArgumentId

impl<T: SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprLiteral

impl<T: SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprMissing

impl<T: SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprStringLiteral

impl<T: SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for PatternMissing

impl<T: SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for PatternOtherwise

impl<T: SemanticRewriter<Vec<(TypeId, ConstValue)>, Error> + SemanticRewriter<ConcreteVariant, Error> + SemanticRewriter<Box<ConstValue>, Error> + SemanticRewriter<TypeId, Error> + SemanticRewriter<ConstVar, Error>, Error> SemanticObject<T, Error> for ConstValue

impl<T: SemanticRewriter<Vec<Parameter>, Error> + SemanticRewriter<TypeId, Error> + SemanticRewriter<Vec<TypeId>, Error>, Error> SemanticObject<T, Error> for Signature

impl<T: SemanticRewriter<Vec<ExprId>, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprTuple

impl<T: SemanticRewriter<Vec<ExprId>, Error> + SemanticRewriter<ExprId, Error> + SemanticRewriter<ConstValueId, Error>, Error> SemanticObject<T, Error> for FixedSizeArrayItems

impl<T: SemanticRewriter<Vec<PatternId>, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for PatternFixedSizeArray

impl<T: SemanticRewriter<Vec<PatternId>, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for PatternTuple

impl<T: SemanticRewriter<Vec<PatternId>, Error> + SemanticRewriter<ExprId, Error>, Error> SemanticObject<T, Error> for MatchArm

impl<T: SemanticRewriter<Vec<StatementId>, Error> + SemanticRewriter<Option<ExprId>, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprBlock

impl<T: SemanticRewriter<ConstantId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprConstant

impl<T: SemanticRewriter<EnumId, Error> + SemanticRewriter<Vec<GenericArgumentId>, Error>, Error> SemanticObject<T, Error> for ConcreteEnumLongId

impl<T: SemanticRewriter<ExternTypeId, Error> + SemanticRewriter<Vec<GenericArgumentId>, Error>, Error> SemanticObject<T, Error> for ConcreteExternTypeLongId

impl<T: SemanticRewriter<FreeFunctionId, Error> + SemanticRewriter<ImplGenericFunctionWithBodyId, Error> + SemanticRewriter<ConcreteTraitGenericFunctionId, Error>, Error> SemanticObject<T, Error> for GenericFunctionWithBodyId

impl<T: SemanticRewriter<FreeFunctionId, Error> + SemanticRewriter<ExternFunctionId, Error> + SemanticRewriter<ImplGenericFunctionId, Error> + SemanticRewriter<ConcreteTraitGenericFunctionId, Error>, Error> SemanticObject<T, Error> for GenericFunctionId

impl<T: SemanticRewriter<GenericParamId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for GenericParamConst

impl<T: SemanticRewriter<GenericParamId, Error> + SemanticRewriter<Maybe<ConcreteTraitId>, Error>, Error> SemanticObject<T, Error> for GenericParamImpl

impl<T: SemanticRewriter<GenericParamId, Error>, Error> SemanticObject<T, Error> for GenericParamType

impl<T: SemanticRewriter<ImplDefId, Error> + SemanticRewriter<Vec<GenericArgumentId>, Error>, Error> SemanticObject<T, Error> for ConcreteImplLongId

impl<T: SemanticRewriter<ImplDefId, Error> + SemanticRewriter<ImplAliasId, Error> + SemanticRewriter<GenericParamId, Error>, Error> SemanticObject<T, Error> for UninferredImpl

impl<T: SemanticRewriter<ImplFunctionId, Error> + SemanticRewriter<TraitFunctionId, Error>, Error> SemanticObject<T, Error> for ImplFunctionBodyId

impl<T: SemanticRewriter<LocalVarId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for LocalVariable

impl<T: SemanticRewriter<MemberId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for Member

impl<T: SemanticRewriter<StructId, Error> + SemanticRewriter<Vec<GenericArgumentId>, Error>, Error> SemanticObject<T, Error> for ConcreteStructLongId

impl<T: SemanticRewriter<TraitId, Error> + SemanticRewriter<Vec<GenericArgumentId>, Error>, Error> SemanticObject<T, Error> for ConcreteTraitLongId

impl<T: SemanticRewriter<ExprId, Error> + SemanticRewriter<ConcreteVariant, Error>, Error> SemanticObject<T, Error> for ExprPropagateError

impl<T: SemanticRewriter<ExprId, Error> + SemanticRewriter<ConcreteStructId, Error> + SemanticRewriter<MemberId, Error> + SemanticRewriter<TypeId, Error> + SemanticRewriter<Option<ExprVarMemberPath>, Error>, Error> SemanticObject<T, Error> for ExprMemberAccess

impl<T: SemanticRewriter<ExprId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprDesnap

impl<T: SemanticRewriter<ExprId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprLogicalOperator

impl<T: SemanticRewriter<ExprId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprLoop

impl<T: SemanticRewriter<ExprId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprSnapshot

impl<T: SemanticRewriter<ExprId, Error> + SemanticRewriter<Vec<MatchArm>, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprMatch

impl<T: SemanticRewriter<ExprId, Error> + SemanticRewriter<Vec<PatternId>, Error>, Error> SemanticObject<T, Error> for Condition

impl<T: SemanticRewriter<ExprId, Error>, Error> SemanticObject<T, Error> for StatementExpr

impl<T: SemanticRewriter<PatternId, Error> + SemanticRewriter<ExprId, Error>, Error> SemanticObject<T, Error> for StatementLet