Skip to main content

impl_header_name

flux_infer::lean_format

Function impl_header_name 

Source 
fn impl_header_name(tcx: TyCtxt<'_>, impl_id: DefId) -> String