rustc_
trait_
selection
1.85.0-nightly
(5f23ef7d3 2024-12-20)
In rustc_
trait_
selection::
traits::
coherence
rustc_trait_selection
::
traits
::
coherence
Function
fresh_impl_header
Copy item path
Source
fn fresh_impl_header<'tcx>( infcx: &
InferCtxt
<'tcx>, impl_def_id:
DefId
, ) ->
ImplHeader
<'tcx>