Support service errors in dynamic schema index

modules/dynamic/src/smithy4s/dynamic/internals/DynamicModelCompiler.scala

@@ -302,7 +302,9 @@ private[dynamic] object Compiler {
       val output = shape.output.map(_.target)
 
       val errorId = id.copy(name = id.name + "Error")
-      val errorUnionLazy = shape.errors.traverse { err =>
+      val allOperationErrors = (serviceErrors ++ shape.errors.combineAll).toNel
+
+      val errorUnionLazy = allOperationErrors.traverse { err =>
         err
           .collect { case MemberShape(ValidIdRef(id), _) => id }
           .zipWithIndex

modules/dynamic/test/src-jvm/smithy4s/dynamic/DynamicJsonProxySpec.scala

@@ -80,4 +80,18 @@ object DynamicJsonProxySpec extends weaver.SimpleIOSuite {
 
   }
 
+  test("Dynamic service based proxy supports service errors") {
+    kvStoreResource.use { kvStore =>
+      val expectedError =
+        smithy4s.example.UnauthorizedError("*****")
+
+      for {
+        attempt <- kvStore.get("authorized-only-key").attempt
+      } yield {
+        expect.same(attempt, Left(expectedError))
+      }
+    }
+
+  }
+
 }

modules/dynamic/test/src/smithy4s/dynamic/KVStoreImpl.scala

@@ -32,11 +32,15 @@ class KVStoreImpl(ref: Ref[IO, Map[String, String]]) extends KVStore[IO] {
     }
     .rethrow
   def get(key: String): IO[Value] =
-    ref.get
-      .map[Either[Throwable, Value]](_.get(key) match {
-        case None        => Left(KeyNotFoundError(key))
-        case Some(value) => Right(smithy4s.example.Value(value))
-      })
-      .rethrow
+    if (key.contains("authorized-only"))
+      // This will be redacted by the redacting proxy
+      IO.raiseError(UnauthorizedError("sensitive"))
+    else
+      ref.get
+        .map[Either[Throwable, Value]](_.get(key) match {
+          case None        => Left(KeyNotFoundError(key))
+          case Some(value) => Right(smithy4s.example.Value(value))
+        })
+        .rethrow
   def put(key: String, value: String): IO[Unit] = ref.update(_ + (key -> value))
 }

sampleSpecs/kvstore.smithy

@@ -1,7 +1,8 @@
 namespace smithy4s.example
 
 service KVStore {
-  operations: [Get, Put, Delete]
+  operations: [Get, Put, Delete],
+  errors: [UnauthorizedError]
 }
 
 operation Put {
@@ -36,6 +37,12 @@ structure Value {
   value: String
 }
 
+@error("client")
+structure UnauthorizedError {
+  @required
+  reason: String
+}
+
 @error("client")
 structure KeyNotFoundError {
   @required