Module clauses_of 

Re-exports

use std::assert_matches; 🔒

use hir::Node; 🔒

use rustc_attr_ir::find_attr; 🔒

use rustc_data_structures::fx::FxIndexSet; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::GenericClauses; 🔒

use rustc_middle::ty::ImplTraitInTraitData; 🔒

use rustc_middle::ty::IncludeSizedImplicitBounds; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeVisitable; 🔒

use rustc_middle::ty::TypeVisitor; 🔒

use rustc_middle::ty::Upcast; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::Ident; 🔒

use rustc_span::Span; 🔒

use rustc_span::bug; 🔒

use rustc_span::span_bug; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use tracing::trace; 🔒

use super::item_bounds::explicit_item_bounds_with_filter; 🔒

use crate::collect::ItemCtxt; 🔒

use crate::constrained_generic_params as cgp; 🔒

use crate::delegation::inherit_clauses_for_delegation_item; 🔒

use crate::hir_ty_lowering::HirTyLowerer; 🔒

use crate::hir_ty_lowering::ImpliedBoundsContext; 🔒

use crate::hir_ty_lowering::OverlappingAsssocItemConstraints; 🔒

use crate::hir_ty_lowering::PredicateFilter; 🔒

use crate::hir_ty_lowering::RegionInferReason; 🔒

Functions

assert_only_contains_clauses_from 🔒

clauses_of 🔒

Returns a list of all type clauses (explicit and implicit) for the definition with ID def_id. This includes all clauses returned by explicit_clauses_of, plus inferred constraints concerning which regions outlive other regions.

compute_bidirectional_outlives_clauses 🔒

Opaques have duplicated lifetimes and we need to compute bidirectional outlives clauses to enforce that these lifetimes stay in sync.

const_conditions 🔒

const_evaluatable_clauses_of 🔒

explicit_clauses_of 🔒

explicit_implied_clauses_of 🔒

explicit_implied_const_bounds 🔒

explicit_super_clauses_of 🔒

Ensures that the super-clauses of the trait with a DefId of trait_def_id are lowered and stored. This also ensures that the transitive super-clauses are lowered.

explicit_supertraits_containing_assoc_item 🔒

gather_explicit_clauses_of 🔒

Returns a list of user-specified type clauses for the definition with ID def_id. N.B., this does not include any implied/inferred constraints.

implied_clauses_with_filter 🔒

Ensures that the super-clauses of the trait with a DefId of trait_def_id are lowered and stored. This also ensures that the transitive super-clauses are lowered.

trait_explicit_clauses_and_bounds 🔒

type_param_clauses 🔒

Returns the clauses defined on item_def_id of the form X: Foo where X is the type parameter def_id.

where_predicate_clauses 🔒