Fix a few more model tests

smithy-lang · Oct 23, 2023 · 6ba962d · 6ba962d
1 parent ea48656
commit 6ba962d
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/...els/Errors/runtimes/java/src/test/java/simple/errors/internaldafny/wrapped/__default.java b/...els/Errors/runtimes/java/src/test/java/simple/errors/internaldafny/wrapped/__default.java
@@ -16,6 +16,6 @@ public static Result<ISimpleErrorsClient, Error> WrappedSimpleErrors(SimpleError
         simple.errors.model.SimpleErrorsConfig wrappedConfig = ToNative.SimpleErrorsConfig(config);
         simple.errors.SimpleErrors impl = SimpleErrors.builder().SimpleErrorsConfig(wrappedConfig).build();
         TestSimpleErrors wrappedClient = TestSimpleErrors.builder().impl(impl).build();
-        return Result.create_Success(wrappedClient);
+        return Result.create_Success(dafny.TypeDescriptor.reference(ISimpleErrorsClient.class), Error._typeDescriptor(), wrappedClient);
     }
 }
diff --git a/...vice/runtimes/java/src/test/java/simple/localservice/internaldafny/wrapped/__default.java b/...vice/runtimes/java/src/test/java/simple/localservice/internaldafny/wrapped/__default.java
@@ -18,7 +18,7 @@ public static Result<ISimpleLocalServiceClient, Error> WrappedSimpleLocalService
         simple.localservice.SimpleLocalService impl = SimpleLocalService.builder().SimpleLocalServiceConfig(wrappedConfig).build();
         TestToNativeAndToDafnyLocalService(impl);
         TestSimpleLocalService wrappedClient = TestSimpleLocalService.builder().impl(impl).build();
-        return Result.create_Success(wrappedClient);
+        return Result.create_Success(dafny.TypeDescriptor.reference(ISimpleLocalServiceClient.class), Error._typeDescriptor(), wrappedClient);
     }
 
     // TODO: Determine how to replace this test with Dafny Source Code

diff --git a/...src/main/java/software/amazon/cryptography/services/dynamodb/internaldafny/__default.java b/...src/main/java/software/amazon/cryptography/services/dynamodb/internaldafny/__default.java
@@ -25,11 +25,11 @@ public static Result<IDynamoDBClient, Error> DynamoDBClient() {
                     .build();
 
             IDynamoDBClient shim = new Shim(ddbClient, region.toString());
-            return Result.create_Success(shim);
+            return Result.create_Success(dafny.TypeDescriptor.reference(IDynamoDBClient.class), Error._typeDescriptor(), shim);
         } catch (Exception e) {
             Error dafny_error = Error.create_InternalServerError(
                     Option.create_Some(CharacterSequence(e.getMessage())));
-            return Result.create_Failure(dafny_error);
+            return Result.create_Failure(dafny.TypeDescriptor.reference(IDynamoDBClient.class), Error._typeDescriptor(), dafny_error);
         }
     }
 }