what are the rules for @nogc and @safe attributes inference?

[Neia Neutuladh]

On Fri, 30 Nov 2018 22:10:11 +0000, ikod wrote:
> Thanks for explanation, got it.
> 
> My case is actually
> 
> interface I(K,V)
> {
>      int get()(K);
> }

Interface functions must be abstract. Templated functions are implicitly 
final. Final things can't be abstract.

If there's something about types K and V that determine whether you should 
be able to use the GC or not, you'll have to encode that explicitly.