fn maybe_check_static_with_link_section(
    tcx: TyCtxt<'_>,
    id: LocalDefId,
    span: Span
)