/test/wont-compile/GetMissingKey.hs:17:15: error:
    • Key 'missing' does not exist in the following schema:
      '[ '( 'Data.Aeson.Schema.Key.NormalKey "foo",
            'Data.Aeson.Schema.Type.SchemaScalar Bool)]
    • In the second argument of ‘(.)’, namely
        ‘Data.Aeson.Schema.Internal.getKey
           (Data.Proxy.Proxy :: Data.Proxy.Proxy "missing")’
      In the expression:
        (id
           . Data.Aeson.Schema.Internal.getKey
               (Data.Proxy.Proxy :: Data.Proxy.Proxy "missing"))
          o
      In an equation for ‘result’:
          result
            = ((id
                  . Data.Aeson.Schema.Internal.getKey
                      (Data.Proxy.Proxy :: Data.Proxy.Proxy "missing"))
                 o)
   |
17 | result = [get| o.missing |]
   |               ^^^^^^^^^^^^^

/test/wont-compile/GetMissingKey.hs:17:15: error:
    • Key 'missing' does not exist in the following schema:
      '[ '( 'Data.Aeson.Schema.Key.NormalKey "foo",
            'Data.Aeson.Schema.Type.SchemaScalar Bool)]
    • In the second argument of ‘(.)’, namely
        ‘Data.Aeson.Schema.Internal.getKey
           (Data.Proxy.Proxy :: Data.Proxy.Proxy "missing")’
      In the expression:
        (id
           . Data.Aeson.Schema.Internal.getKey
               (Data.Proxy.Proxy :: Data.Proxy.Proxy "missing"))
          o
      In an equation for ‘result’:
          result
            = ((id
                  . Data.Aeson.Schema.Internal.getKey
                      (Data.Proxy.Proxy :: Data.Proxy.Proxy "missing"))
                 o)
   |
17 | result = [get| o.missing |]
   |               ^^^^^^^^^^^^^