Trait cairo_lang_semantic::substitution::SemanticObject

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

Required Methods

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

Object Safety

This trait is not object safe.

Implementors

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<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<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: SemanticRewriter<VarId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprVar

impl<T: SemanticRewriter<Expr, Error>, Error> SemanticObject<T, Error> for Constant

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<Pattern, Error> + SemanticRewriter<ExprId, Error>, Error> SemanticObject<T, Error> for MatchArm

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

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<TypeId, Error>, Error> SemanticObject<T, Error> for ExprLiteral

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

impl<T: SemanticRewriter<ConcreteTypeId, Error> + SemanticRewriter<Vec<TypeId>, Error> + SemanticRewriter<TypeId, Error> + SemanticRewriter<GenericParamId, Error> + SemanticRewriter<TypeVar, 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<usize, Error>, Error> SemanticObject<T, Error> for LocalImplVarId

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

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

impl<T: SemanticRewriter<ExprTuple, Error> + SemanticRewriter<ExprSnapshot, Error> + SemanticRewriter<ExprDesnap, Error> + SemanticRewriter<ExprAssignment, Error> + SemanticRewriter<ExprLogicalOperator, Error> + SemanticRewriter<ExprBlock, Error> + SemanticRewriter<ExprLoop, Error> + SemanticRewriter<ExprFunctionCall, Error> + SemanticRewriter<ExprMatch, Error> + SemanticRewriter<ExprIf, Error> + SemanticRewriter<ExprVar, Error> + SemanticRewriter<ExprLiteral, Error> + SemanticRewriter<ExprMemberAccess, Error> + SemanticRewriter<ExprStructCtor, Error> + SemanticRewriter<ExprEnumVariantCtor, Error> + SemanticRewriter<ExprPropagateError, Error> + SemanticRewriter<ExprConstant, 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<PatternVariable, Error> + SemanticRewriter<PatternStruct, Error> + SemanticRewriter<PatternTuple, Error> + SemanticRewriter<PatternEnumVariant, Error> + SemanticRewriter<PatternOtherwise, Error>, Error> SemanticObject<T, Error> for Pattern

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

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<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<GenericParamId, Error> + SemanticRewriter<ImplVarId, Error>, Error> SemanticObject<T, Error> for ImplId

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

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

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

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

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, Box<Pattern>)>, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for PatternStruct

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

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

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

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

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

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

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

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>, Error> SemanticObject<T, Error> for GenericFunctionWithBodyId

impl<T: SemanticRewriter<FreeFunctionId, Error> + SemanticRewriter<ExternFunctionId, Error> + SemanticRewriter<ImplGenericFunctionId, 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<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<Option<ExprId>, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprIf

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>, Error> SemanticObject<T, Error> for StatementExpr