Function stability_implications 

fn stability_implications(
    tcx: TyCtxt<'_>,
    LocalCrate: LocalCrate,
) -> UnordMap<Symbol, Symbol>