Re-exportsยง
use std::ops::ControlFlow;๐use rustc_ast as ast;๐use rustc_data_structures::fx::FxHashMap;๐use rustc_hir::def_id::DefId;๐use rustc_macros::StableHash;๐use rustc_macros::TyDecodable;๐use rustc_macros::TyEncodable;๐use rustc_span::Span;๐use rustc_span::Symbol;๐use rustc_span::bug;๐use rustc_span::kw;๐use rustc_type_ir::TypeSuperVisitable as _;๐use rustc_type_ir::TypeVisitable;๐use rustc_type_ir::TypeVisitor;๐use tracing::instrument;๐use tracing::instrument;๐use super::Clause;๐use super::InstantiatedClauses;๐use super::ParamConst;๐use super::ParamTy;๐use super::Ty;๐use super::TyCtxt;๐use super::Unnormalized;๐use crate::ty;๐use crate::ty::ClauseKind;๐use crate::ty::EarlyBinder;๐use crate::ty::GenericArgs;๐use crate::ty::Region;๐use crate::ty::RegionKind;๐use crate::ty::TyKind;๐
Structsยง
- Const
Conditions [const]bounds for a given item. This is represented using a struct much likeGenericClauses, where you can either choose to only instantiate the โownโ bounds or all of the bounds including those from the parent. This distinction is necessary for code likecompare_method_clause_entailment.- Generic
Clauses - Bounds on generics.
- Generic
Param Count - Generic
Param Def - Generics
- Information about the formal type/lifetime parameters associated
with an item or method. Analogous to
hir::Generics.