Re-exports§
use std::ops::ControlFlow;🔒use ast::visit::Visitor;🔒use hir::def::DefKind;🔒use rustc_ast as ast;🔒use rustc_ast::AssocItemKind;🔒use rustc_ast::Delegation;🔒use rustc_ast::DelegationSource;🔒use rustc_ast::Item;🔒use rustc_ast::ItemKind;🔒use rustc_ast::NodeId;🔒use rustc_data_structures::fx::FxHashSet;🔒use rustc_data_structures::fx::FxIndexMap;🔒use rustc_data_structures::fx::FxIndexSet;🔒use rustc_hir as hir;🔒use rustc_middle::middle::resolve as mid_res;🔒use rustc_middle::middle::resolve::AstOwner;🔒use rustc_middle::middle::resolve::DelegationInherentFnKind;🔒use rustc_middle::middle::resolve::TypeRelativeDelegationRes;🔒use rustc_middle::ty;🔒use rustc_middle::ty::AssocKind;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_middle::ty::TypeSuperVisitable;🔒use rustc_middle::ty::TypeVisitable;🔒use rustc_middle::ty::TypeVisitor;🔒use rustc_span::def_id::DefId;🔒use rustc_span::def_id::LocalDefId;🔒use rustc_span::ErrorGuaranteed;🔒use rustc_span::Span;🔒use crate::delegation::generics::GenericsGenerationResults;🔒use crate::delegation::resolution::resolver::DelegationResolver;🔒use crate::diagnostics::AmbiguousDelegationToInherentImpl;🔒use crate::diagnostics::CycleInDelegationSignatureResolution;🔒use crate::diagnostics::DelegationAttemptedBlockWithDefsDeletion;🔒use crate::diagnostics::DelegationAttemptedBlockWithDefsRelowering;🔒use crate::diagnostics::DelegationBlockSpecifiedWhenNoParams;🔒use crate::diagnostics::UnresolvedDelegationCallee;🔒
Modules§
- resolver 🔒
Structs§
- Delegation
Resolution 🔒 - Param
Info 🔒 - Summary info about function parameters.
- SigMapping 🔒
Functions§
- resolve_
type_ 🔒relative_ delegations - Simple (hack or heuristic) resolution of some delegations to inherent impls
while correct resolution through
ProbeContextis not available during AST -> HIR lowering due to query cycles. Successful resolutions from this heuristics are not a subset of successful resolutions from the correct approach, if we want to stabilize delegations to inherent impls with this approach we need a second pass in type checking (i.e., when there’s no cycles) that makes sure that resolutions from the heuristic match the correct resolutions, or report errors otherwise. FIXME(fn_delegation): correct resolution throughProbeContextengine