Make checking HostedResources match host.request parameter at compile time #7
Description
Currently, there is no check that a resource is requested agains the correct host. That is, for example, a Facebook resource could to requested against a Github host. This is completely invalid, hence the HostedResource Protocol to tie resources to hosts. However, current attempts at adding something like R: RequestedResource & HostedResource where R.HostedType == Self in the HTTPHostProtocol doesn't compile nor when I can get it to compile, the resource does not get checked at compile time.