1. A computer program product comprising one or more computer-readable storage media having thereon computer-executable instructions that are structured such that, when interpreted by one or more processors of a computing system, cause the computing system to perform a method of performing build-time resolving and type checking of references, the method comprising: an act of analyzing first code that contains a first reference, and second code that contains a second reference; as a result of the act of analyzing, an act of detecting a directive that the first reference is to be correlated with the second reference so that they both refer to the same data; and in response to the directive, an act of automatically attempting to generate correlating code that is interpretable to a compiler as allowing the first reference to be resolved with type-checking as referring to the same data as the second reference.