Trait chalk_integration::tls::DebugContext

pub trait DebugContext {
    // 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

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>

Implementors

impl DebugContext for Program