fn check_unused_unsafe(
    tcx: TyCtxt<'_>,
    def_id: LocalDefId,
    used_unsafe_blocks: &FxHashSet<HirId>
) -> Vec<(HirId, UnusedUnsafe)>