Attribute inference for auto functions?

[Jesse Phillips]

On Tuesday, 16 April 2013 at 15:22:56 UTC, Andrei Alexandrescu 
wrote:
> There's a discussion that may be of interest to the larger 
> community: 
> https://github.com/D-Programming-Language/dmd/pull/1877
>
> Andrei

I wish to bring Someboddies consern to this form.

What does attribute inference mean for inheritance?

Do all derived classes need to be known for inference to take 
place? Not having the ability to claim a base function can be 
overridden with a throwing function could cause some issue...

Hmm but we can still specify the type so I guess it still isn't a 
major, but I could see auto being used more causing a library 
writer to make restrictions on their function because what they 
write is applicable but not really considering derived classes 
could reasonably throw.