pub fn stability_implications<'tcx>(
    _: TyCtxt<'tcx>,
    _: &stability_implications<'tcx>
) -> bool