One last question: you can define an extension (on a non nullable type) that has the same signature as a member - but it can never be called. Am I missing something?