Issue3188/Issue3188a.agda:4,1-30
BUILTIN STRING declares an identifier (no longer expects an already defined identifier)
when scope checking the declaration
  {-# BUILTIN STRING String #-}
Issue3188.agda:4,5-8
Set₁ != Set
when checking that the expression Set has type Set
