Module refine
rustc_
hir_
analysis
1.84.0-dev
Module refine
Module Items
Structs
Functions
In rustc_
hir_
analysis::
check::
compare_
impl_
item
Modules
refine
Structs
ImplTraitInTraitCollector
RemapHiddenTyRegions
RemapLateBound
ReplaceTy
Functions
check_method_is_structurally_compatible
check_region_bounds_on_impl_item
check_type_bounds
collect_return_position_impl_trait_in_trait_tys
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
extract_spans_for_error_reporting
param_env_with_gat_bounds
report_trait_method_mismatch
try_report_async_mismatch
rustc_hir_analysis
::
check
::
compare_impl_item
Module
refine
Copy item path
Settings
Help
Summary
Source
Structs
§
Anonymize
🔒
Impl
Trait
InTrait
Collector
🔒
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
🔒