tpd.ModuleDef strips flags, eg. "module" flag

[DarkDimius]

tpd.ModuleDef calls tpd.ClassDef https://github.com/lampepfl/dotty/blob/d827b0180b05e7461856f668c3c4ca0ea6ed5d62/src/dotty/tools/dotc/ast/tpd.scala#L282

which filters modifiers https://github.com/lampepfl/dotty/blob/d827b0180b05e7461856f668c3c4ca0ea6ed5d62/src/dotty/tools/dotc/ast/tpd.scala#L215

using this whitelist: https://github.com/lampepfl/dotty/blob/340ec6150b205287e1c0f5a0422d2186c29bc086/src/dotty/tools/dotc/core/Flags.scala#L398

I'm especially concerned about flags Synthetic and Module.

[DarkDimius]

@odersky what was the reason for performing any filtering of the flags?

[odersky]

Fixed in #64