☰
Module refine
rustc_hir_analysis
1.75.0-dev
Module refine
Structs
Functions
In rustc_hir_analysis::check::compare_impl_item
Modules
refine
Structs
ImplTraitInTraitCollector
RemapHiddenTyRegions
RemapLateBound
Enums
CheckImpliedWfMode
Functions
assoc_item_kind_str
check_method_is_structurally_compatible
check_region_bounds_on_impl_item
check_type_bounds
collect_return_position_impl_trait_in_trait_tys
compare_asyncness
compare_const_predicate_entailment
compare_generic_param_kinds
compare_impl_const_raw
compare_impl_method
compare_impl_ty
compare_method_predicate_entailment
compare_number_of_generics
compare_number_of_method_arguments
compare_self_type
compare_synthetic_generics
compare_type_predicate_entailment
emit_implied_wf_lint
extract_bad_args_for_implies_lint
extract_spans_for_error_reporting
report_trait_method_mismatch
?
Module
rustc_hir_analysis
::
check
::
compare_impl_item
::
refine
source
·
[
−
]
Structs
Anonymize
🔒
ImplTraitInTraitCollector
🔒
Functions
check_refining_return_position_impl_trait_in_trait
🔒
Check that an implementation does not refine an RPITIT from a trait method signature.
report_mismatched_rpitit_signature
🔒
type_visibility
🔒