rustc_
infer
1.85.0
(4d91de4e4 2025-02-17)
In rustc_
infer::
infer::
relate
Modules
combine
generalize
higher_ranked
lattice
solver_relating
type_relating
Enums
StructurallyRelateAliases
VarianceDiagInfo
Traits
PredicateEmittingRelation
Relate
TypeRelation
Functions
relate_args_invariantly
relate_args_with_variances
structurally_relate_consts
structurally_relate_tys
Type Aliases
RelateResult
rustc_infer
::
infer
::
relate
Module
higher_ranked
Copy item path
Settings
Help
Summary
Source
Expand description
Helper routines for higher-ranked things. See the
doc
module at the end of the file for details.