Module implicit_infer 

Re-exports

use rustc_data_structures::fx::FxIndexMap; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::GenericArg; 🔒

use rustc_middle::ty::GenericArgKind; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_span::Span; 🔒

use tracing::debug; 🔒

use super::explicit::ExplicitClausesMap; 🔒

use super::utils::*; 🔒

Enums

IgnoreClausesReferencingSelf 🔒

Functions

check_explicit_clauses 🔒

Check the explicit clauses declared on the type.

check_inferred_clauses 🔒

Check the inferred clauses of the type.

infer_clauses 🔒

Infer outlives-clauses for the items in the local crate.

insert_required_clauses_to_be_wf 🔒