ParseOk
  ( Module
      SrcSpanInfo
        { srcInfoSpan = SrcSpan "tests/examples/SafeImports3.hs" 1 1 3 1
        , srcInfoPoints =
            [ SrcSpan "tests/examples/SafeImports3.hs" 1 1 1 1
            , SrcSpan "tests/examples/SafeImports3.hs" 2 1 2 1
            , SrcSpan "tests/examples/SafeImports3.hs" 2 1 2 1
            , SrcSpan "tests/examples/SafeImports3.hs" 2 1 2 1
            , SrcSpan "tests/examples/SafeImports3.hs" 3 1 3 1
            , SrcSpan "tests/examples/SafeImports3.hs" 3 1 3 1
            ]
        }
      Nothing
      [ LanguagePragma
          SrcSpanInfo
            { srcInfoSpan = SrcSpan "tests/examples/SafeImports3.hs" 1 1 1 29
            , srcInfoPoints =
                [ SrcSpan "tests/examples/SafeImports3.hs" 1 1 1 13
                , SrcSpan "tests/examples/SafeImports3.hs" 1 26 1 29
                ]
            }
          [ Ident
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/SafeImports3.hs" 1 14 1 25
                , srcInfoPoints = []
                }
              "Trustworthy"
          ]
      ]
      [ ImportDecl
          { importAnn =
              SrcSpanInfo
                { srcInfoSpan = SrcSpan "tests/examples/SafeImports3.hs" 2 1 2 25
                , srcInfoPoints =
                    [ SrcSpan "tests/examples/SafeImports3.hs" 2 1 2 7
                    , SrcSpan "tests/examples/SafeImports3.hs" 2 8 2 12
                    , SrcSpan "tests/examples/SafeImports3.hs" 2 21 2 23
                    ]
                }
          , importModule =
              ModuleName
                SrcSpanInfo
                  { srcInfoSpan = SrcSpan "tests/examples/SafeImports3.hs" 2 13 2 20
                  , srcInfoPoints = []
                  }
                "Prelude"
          , importQualified = False
          , importSrc = False
          , importSafe = True
          , importPkg = Nothing
          , importAs =
              Just
                (ModuleName
                   SrcSpanInfo
                     { srcInfoSpan = SrcSpan "tests/examples/SafeImports3.hs" 2 24 2 25
                     , srcInfoPoints = []
                     }
                   "P")
          , importSpecs = Nothing
          }
      ]
      []
  , []
  )