7歳の子供、目の周りが赤く腫れています

10歳未満/男性 - 2021/04/15

7歳の男児ですが、朝は特になかったのですが学校から帰ってきて顔を見てみると目の周りが赤く腫れています。目は通常は一重なのですが、二重になっています。
鼻水、咳等はありません。
昨年秋頃に小児科で桃やピーナッツの特定の食べ物のアレルギー検査はしましたが、ほぼ出ませんでした（カシューナッツが多少あった程度です）
もう一度、検査をさせた方がよいでしょうか？また、かかりつけの小児科もしくは眼科を受診した方がよいでしょうか？