Add dotnet typeconversion

Author: rishav-karanjit

TestVectors/runtimes/net/Generated/DDBEncryption/TypeConversion.cs

@@ -1098,21 +1098,21 @@ public static int ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S14_C
  public static System.Exception FromDafny_CommonError(software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IError value) {
  switch(value)
  {
- case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_ComAmazonawsDynamodb dafnyVal:
-  return Com.Amazonaws.Dynamodb.TypeConversion.FromDafny_CommonError(
-    dafnyVal._ComAmazonawsDynamodb
-  );
  case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkStructuredEncryption dafnyVal:
   return AWS.Cryptography.DbEncryptionSDK.StructuredEncryption.TypeConversion.FromDafny_CommonError(
     dafnyVal._AwsCryptographyDbEncryptionSdkStructuredEncryption
   );
+ case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_AwsCryptographyPrimitives dafnyVal:
+  return AWS.Cryptography.Primitives.TypeConversion.FromDafny_CommonError(
+    dafnyVal._AwsCryptographyPrimitives
+  );
  case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_AwsCryptographyMaterialProviders dafnyVal:
   return AWS.Cryptography.MaterialProviders.TypeConversion.FromDafny_CommonError(
     dafnyVal._AwsCryptographyMaterialProviders
   );
- case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_AwsCryptographyPrimitives dafnyVal:
-  return AWS.Cryptography.Primitives.TypeConversion.FromDafny_CommonError(
-    dafnyVal._AwsCryptographyPrimitives
+ case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_ComAmazonawsDynamodb dafnyVal:
+  return Com.Amazonaws.Dynamodb.TypeConversion.FromDafny_CommonError(
+    dafnyVal._ComAmazonawsDynamodb
   );
  case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_DynamoDbEncryptionException dafnyVal:
 return FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S27_DynamoDbEncryptionException(dafnyVal);