Definition foo := True.

Section foo.
  Global Arguments foo / .
Fail End foo.