`Exception message: SkipAndTransitiveGoalOptionsRe...
# general
a
Exception message: SkipAndTransitiveGoalOptionsRegistrar_lint must set options_scope and options_scope_category