C# Language Specification

Compile-time checking of dynamic overload resolution

For most dynamically bound operations the set of possible candidates for resolution is unknown at compile-time. In certain cases, however the candidate set is known at compile-time:

• 
  Static method calls with dynamic arguments
  
• 
  Instance method calls where the receiver is not a dynamic expression
  
• 
  Indexer calls where the receiver is not a dynamic expression
  
• 
  Constructor calls with dynamic arguments
  

In these cases a limited compile-time check is performed for each candidate to see if any of them could possibly apply at run-time.This check consists of the following steps:

• 
  Partial type inference: Any type argument that does not depend directly or indirectly on an argument of type dynamic is inferred using the rules of §7.5.2. The remaining type arguments are unknown.
  
• 
  Partial applicability check: Applicability is checked according to §7.5.3.1, but ignoring parameters whose types are unknown.
  

If no candidate passes this test, a compile-time error occurs.

5.