Optional Modifiers and Overload Resolution

Optional Modifiers (or modopts) are CLR constructs that allow types to be annotated with optional information. This allows compiler writers to annotate their types with additional information that may not have a direct CLR representation. The managed C++ compiler for instance, uses modopts to represent const types. The C# compiler does not use modopts for…

3

Generic Method Substitutions and Unification – Part two

Last time we talked about generic method substitutions which resulted in types being declared with more than one method with identical constructed signatures. After thinking long and hard about this problem, we’ve come to a conclusion as to how to resolve this issue in the next release. First, lets recap what we know about the…

2