defs.define_constant('OpenSSL::Digest::SHA512') do |klass|
    klass.inherits(defs.constant_proxy('OpenSSL::Digest', RubyLint.registry))

    klass.define_method('digest') do |method|
      method.define_argument('data')