Derivation documentation: use inline def derived
so that derives
is employed#16919
Closed
sideeffffect wants to merge 2 commits intoscala:mainfrom
inline def derived
so that derives
is employed#16919