Cross post from #language-proposals

I think this would require some discussion since people have mixed opinions about

@inheritDoc

from javadoc. cc @mikhail.zarechenskiy