issue #5504: to_additive should raise an error if the ori...

Stream: triage

[Random Issue Bot]

Today I chose issue 5504 for discussion!

to_additive should raise an error if the original definition has a docstring and the generated one doesn't
Created by @Bryan Gin-ge Chen (@bryangingechen) on 2020-12-25
Labels: t-meta

Is this issue still relevant? Any recent updates? Anyone making progress?

[Yaël Dillies]

This has been fixed, right? to_additive doesn't raise an error, but the to_additive_doc linter does.