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>;
}