The inferred delegate type for a lambda expression or method group is used when calculating conversions and method type inference for overload resolution, but currently the delegate type is calculated in cases where it won't be used.

For nested lambda expressions, this can lead to significant overhead, particularly in error reporting where overload resolution considers methods that are obviously inapplicable (too few arguments for instance).