rustc_
trait_
selection
1.87.0-nightly
(227690a25 2025-03-16)
In rustc_
trait_
selection::
traits::
coherence
Structs
AmbiguityCausesVisitor
OverlapResult
UncoveredTyParams
Enums
Conflict
InCrate
IntersectionHasImpossibleObligations
IsFirstInputType
OrphanCheckErr
OrphanCheckMode
TrackAmbiguityCauses
Functions
add_placeholder_note
compute_intercrate_ambiguity_causes
equate_impl_headers
fresh_impl_header
fresh_impl_header_normalized
impl_intersection_has_impossible_obligation
impl_intersection_has_negative_obligation
orphan_check_trait_ref
overlap
overlapping_impls
plug_infer_with_placeholders
search_ambiguity_causes
suggest_increasing_recursion_limit
trait_ref_is_knowable
trait_ref_is_local_or_fundamental
try_prove_negated_where_clause
rustc_trait_selection
::
traits
::
coherence
Function
fresh_impl_header
Copy item path
Settings
Help
Summary
Source
fn fresh_impl_header<'tcx>( infcx: &
InferCtxt
<'tcx>, impl_def_id:
DefId
, ) ->
ImplHeader
<'tcx>