/api/dotty/tools/dotc/core/Flags$/