defs.define_constant('RSpec::Core::Formatters::ProgressFormatter') do |klass|
    klass.inherits(defs.constant_proxy('RSpec::Core::Formatters::BaseTextFormatter', RubyLint.registry))

    klass.define_instance_method('example_failed') do |method|
      method.define_argument('_notification')