rustc_
hir_
analysis
1.86.0-nightly
(a580b5c37 2025-01-08)
In rustc_
hir_
analysis::
check::
wfcheck
Structs
CollectUsageSpans
GATArgsCollector
HasErrorDeep
IsProbablyCyclical
RedundantLifetimeArgsLint
WfCheckingCtxt
Enums
ArbitrarySelfTypesLevel
ReceiverValidityError
UnsizedHandling
Functions
augment_param_env
check_associated_item
check_associated_type_bounds
check_dyn_incompatible_self_trait_by_name
check_fn_or_method
check_foreign_item
check_gat_where_clauses
check_impl
check_impl_item
check_item
check_item_fn
check_item_type
check_method_receiver
check_mod_type_wf
check_param_wf
check_trait
check_trait_item
check_type_defn
check_variances_for_type_defn
check_well_formed
check_where_clauses
confirm_type_is_not_a_method_generic_param
could_be_self
enter_wf_checking_ctxt
gather_gat_bounds
legacy_receiver_is_implemented
lint_redundant_lifetimes
provide
receiver_is_valid
region_known_to_outlive
report_bivariance
test_region_obligations
ty_known_to_outlive
rustc_hir_analysis
::
check
::
wfcheck
Function
check_well_formed
Copy item path
Settings
Help
Summary
Source
fn check_well_formed( tcx:
TyCtxt
<'_>, def_id:
LocalDefId
, ) ->
Result
<
()
,
ErrorGuaranteed
>