Trait chalk_integration::tls::DebugContext

source ·
pub trait DebugContext {
Show 24 methods // Required methods fn debug_adt_id( &self, id: AdtId<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_trait_id( &self, id: TraitId<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_assoc_type_id( &self, id: AssocTypeId<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_opaque_ty_id( &self, id: OpaqueTyId<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_fn_def_id( &self, fn_def_id: FnDefId<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_alias( &self, alias: &AliasTy<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_opaque_ty( &self, opaque_ty: &OpaqueTy<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_projection_ty( &self, proj: &ProjectionTy<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_ty( &self, ty: &Ty<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_lifetime( &self, lifetime: &Lifetime<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_generic_arg( &self, generic_arg: &GenericArg<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_variable_kinds( &self, variable_kinds: &VariableKinds<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_variable_kinds_with_angles( &self, variable_kinds: &VariableKinds<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_canonical_var_kinds( &self, variable_kinds: &CanonicalVarKinds<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_goal( &self, goal: &Goal<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_goals( &self, goals: &Goals<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_program_clause_implication( &self, pci: &ProgramClauseImplication<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_program_clause( &self, clause: &ProgramClause<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_program_clauses( &self, clauses: &ProgramClauses<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_substitution( &self, substitution: &Substitution<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_separator_trait_ref( &self, separator_trait_ref: &SeparatorTraitRef<'_, ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_quantified_where_clauses( &self, clauses: &QuantifiedWhereClauses<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_constraints( &self, constraints: &Constraints<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>; fn debug_variances( &self, variances: &Variances<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>;
}

Required Methods§

source

fn debug_adt_id( &self, id: AdtId<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_trait_id( &self, id: TraitId<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_assoc_type_id( &self, id: AssocTypeId<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_opaque_ty_id( &self, id: OpaqueTyId<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_fn_def_id( &self, fn_def_id: FnDefId<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_alias( &self, alias: &AliasTy<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_opaque_ty( &self, opaque_ty: &OpaqueTy<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_projection_ty( &self, proj: &ProjectionTy<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_ty( &self, ty: &Ty<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_lifetime( &self, lifetime: &Lifetime<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_generic_arg( &self, generic_arg: &GenericArg<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_variable_kinds( &self, variable_kinds: &VariableKinds<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_variable_kinds_with_angles( &self, variable_kinds: &VariableKinds<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_canonical_var_kinds( &self, variable_kinds: &CanonicalVarKinds<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_goal( &self, goal: &Goal<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_goals( &self, goals: &Goals<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_program_clause_implication( &self, pci: &ProgramClauseImplication<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_program_clause( &self, clause: &ProgramClause<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_program_clauses( &self, clauses: &ProgramClauses<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_substitution( &self, substitution: &Substitution<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_separator_trait_ref( &self, separator_trait_ref: &SeparatorTraitRef<'_, ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_quantified_where_clauses( &self, clauses: &QuantifiedWhereClauses<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_constraints( &self, constraints: &Constraints<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

source

fn debug_variances( &self, variances: &Variances<ChalkIr>, fmt: &mut Formatter<'_>, ) -> Result<(), Error>

Implementors§