rustc_
trait_
selection
1.83.0-beta.5
(eb6e3fa1a 2024-11-08)
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>