Attempt to force compiler to acknowledge that ResourceObjectProxy and ResourceObject have the same ID type.

Author: mattpolzin

Sources/JSONAPI/Resource/Resource Object/ResourceObject.swift

@@ -73,16 +73,14 @@ public protocol ResourceObjectProxy: Equatable, JSONTyped {
     associatedtype Description: ResourceObjectProxyDescription
     associatedtype EntityRawIdType: JSONAPI.MaybeRawId
 
-    typealias ID = JSONAPI.Id<EntityRawIdType, Self>
-
     typealias Attributes = Description.Attributes
     typealias Relationships = Description.Relationships
 
     /// The `Entity`'s Id. This can be of type `Unidentified` if
     /// the entity is being created clientside and the
     /// server is being asked to create a unique Id. Otherwise,
     /// this should be of a type conforming to `IdType`.
-    var id: ID { get }
+    var id: JSONAPI.Id<EntityRawIdType, Self> { get }
 
     /// The JSON API compliant attributes of this `Entity`.
     var attributes: Attributes { get }
@@ -91,6 +89,10 @@ public protocol ResourceObjectProxy: Equatable, JSONTyped {
     var relationships: Relationships { get }
 }
 
+extension ResourceObjectProxy {
+    public typealias ID = JSONAPI.Id<EntityRawIdType, Self>
+}
+
 extension ResourceObjectProxy {
     /// The JSON API compliant "type" of this `ResourceObject`.
     public static var jsonType: String { return Description.jsonType }
@@ -121,7 +123,6 @@ public protocol IdentifiableResourceObjectType: ResourceObjectType, Relatable wh
 /// See https://jsonapi.org/format/#document-resource-objects
 public struct ResourceObject<Description: JSONAPI.ResourceObjectDescription, MetaType: JSONAPI.Meta, LinksType: JSONAPI.Links, EntityRawIdType: JSONAPI.MaybeRawId>: ResourceObjectType {
 
-    public typealias ID = JSONAPI.Id<EntityRawIdType, Self>
     public typealias Meta = MetaType
     public typealias Links = LinksType