Browse by Tags

• C#
• Lambda Expressions
• Relationships

• Constraints are not part of the signature

  What happens here? class Animal { } class Mammal : Animal { } class Giraffe : Mammal { } class Reptile : Animal { } … static void Foo<T>(T t) where T : Reptile { } static void Foo(Animal animal) { } static void Main() { Foo(new Giraffe()); } Most Read More... Posted Thursday, December 10, 2009 9:31 AM by Eric Lippert | 76 Comments Filed under: C#, Type Inference, Overload Resolution, Relationships

• Method Type Inference Changes, Part One

  I want to start this by discussing the purpose of method type inference, and clearing up some potential misunderstandings about type inference errors. First off though, a brief note on nomenclature. Throughout this series when I say "type inference" I Read More... Posted Tuesday, June 17, 2008 8:20 AM by Eric Lippert | 9 Comments Filed under: C#, Lambda Expressions, Type Inference, Overload Resolution