example : True :=  by
  . skip
    --^ collectDiagnostics
    skip
    -- foo