Module diagnostics 

Diagnostics related methods for Ty.

Re-exports

use std::fmt::Write; 🔒

use std::ops::ControlFlow; 🔒

use rustc_attr_ir::lang_items::LangItem; 🔒

use rustc_data_structures::fx::FxIndexMap; 🔒

use rustc_errors::Applicability; 🔒

use rustc_errors::Diag; 🔒

use rustc_errors::DiagArgValue; 🔒

use rustc_errors::IntoDiagArg; 🔒

use rustc_errors::listify; 🔒

use rustc_errors::pluralize; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir::def::Namespace; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::AmbigArg; 🔒

use rustc_hir::PredicateOrigin; 🔒

use rustc_hir::WherePredicateKind; 🔒

use rustc_span::BytePos; 🔒

use rustc_span::Span; 🔒

use crate::ty; 🔒

use crate::ty::AliasTy; 🔒

use crate::ty::Const; 🔒

use crate::ty::ConstKind; 🔒

use crate::ty::FallibleTypeFolder; 🔒

use crate::ty::InferConst; 🔒

use crate::ty::InferTy; 🔒

use crate::ty::Instance; 🔒

use crate::ty::Opaque; 🔒

use crate::ty::PolyTraitClause; 🔒

use crate::ty::Projection; 🔒

use crate::ty::Ty; 🔒

use crate::ty::TyCtxt; 🔒

use crate::ty::TypeFoldable; 🔒

use crate::ty::TypeFoldable; 🔒

use crate::ty::TypeSuperFoldable; 🔒

use crate::ty::TypeSuperVisitable; 🔒

use crate::ty::TypeVisitable; 🔒

use crate::ty::TypeVisitable; 🔒

use crate::ty::TypeVisitor; 🔒

use rustc_type_ir::TyKind::*; 🔒

Structs

IsSuggestableVisitor

MakeSuggestableFolder

TraitObjectVisitor

Collect al types that have an implicit 'static obligation that we could suggest '_ for.

Enums

SuggestChangingConstraintsMessage 🔒

Traits

IsSuggestable

Functions

suggest_arbitrary_trait_bound

suggest_changing_unsized_bound 🔒

suggest_constraining_type_param

Suggest restricting a type param with a new bound.

suggest_constraining_type_params

Suggest restricting a type param with a new bound.