20代 目に蟻が入った

20代/男性 - 2024/10/22

20代男性です。

1週間ほど前、外出中に羽蟻が右目に飛び込んできました。(割と大きめでした)
その時は痛みが強かったのですが、しばらくすると瞼の裏にいったのか、痛みが収まったので5時間ほど放置していました。

帰宅してから目を軽く洗浄したことで蟻が出てきたため、そのまま特に何もせず現在に至ります。

今更になって、蟻はギ酸を分泌するため目にダメージがあるのではと不安になってきてしまいました。現在見え方の変化や痛みはなく、少し異物感のような違和感がある程度です。このまま病院に行かず放っておいて良いものなのでしょうか。
よろしくお願いいたします。