Issue3517/S.agda:1,1-37
Cannot set OPTIONS pragma --sized-types with safe flag.
when scope checking the declaration
  import Issue3517.S
Issue3517/S.agda:5,1-37
Importing module Agda.Builtin.Size not using the --safe flag from a
module which does.
when scope checking the declaration
  open import Agda.Builtin.Size public
