---
- file: duplicated-method-definition.rbs
  diagnostics:
  - range:
      start:
        line: 2
        character: 2
      end:
        line: 2
        character: 21
    severity: ERROR
    message: Non-overloading method definition of `foo` in `::DuplicatedMethodDefinitionError`
      cannot be duplicated
    code: RBS::DuplicatedMethodDefinition
  - range:
      start:
        line: 6
        character: 4
      end:
        line: 6
        character: 21
    severity: ERROR
    message: Non-overloading method definition of `f` in `::DuplicatedMethodDefinitionError::_Hello`
      cannot be duplicated
    code: RBS::DuplicatedMethodDefinition
  - range:
      start:
        line: 18
        character: 4
      end:
        line: 18
        character: 23
    severity: ERROR
    message: Non-overloading method definition of `g` in `::DuplicatedMethodDefinitionError::A`
      cannot be duplicated
    code: RBS::DuplicatedMethodDefinition
- file: generic-parameter-mismatch.rbs
  diagnostics:
  - range:
      start:
        line: 5
        character: 2
      end:
        line: 6
        character: 5
    severity: ERROR
    message: Different generic parameters are specified across definitions of `::GenericParameterMismatchError::Foo`
    code: RBS::GenericParameterMismatch
- file: inherit-module.rbs
  diagnostics:
  - range:
      start:
        line: 1
        character: 22
      end:
        line: 1
        character: -1
    severity: ERROR
    message: Cannot inherit from a module `::Kernel`
    code: RBS::InheritModuleError
- file: invalid-method-overload.rbs
  diagnostics:
  - range:
      start:
        line: 2
        character: 2
      end:
        line: 2
        character: 27
    severity: ERROR
    message: Cannot find a non-overloading definition of `foo` in `::InvalidMethodOverload`
    code: RBS::InvalidMethodOverload
- file: invalid-type-application.rbs
  diagnostics:
  - range:
      start:
        line: 2
        character: 13
      end:
        line: 2
        character: 23
    severity: ERROR
    message: Type `::Integer` is not generic but used as a generic type with 1 arguments
    code: RBS::InvalidTypeApplication
  - range:
      start:
        line: 4
        character: 13
      end:
        line: 4
        character: 24
    severity: ERROR
    message: Type `::Array` expects 1 arguments, but 2 arguments are given
    code: RBS::InvalidTypeApplication
  - range:
      start:
        line: 6
        character: 13
      end:
        line: 6
        character: 17
    severity: ERROR
    message: Type `::Hash` is generic but used as a non generic type
    code: RBS::InvalidTypeApplication
- file: invalid_variance_annotation.rbs
  diagnostics:
  - range:
      start:
        line: 2
        character: 11
      end:
        line: 2
        character: 22
    severity: ERROR
    message: The variance of type parameter `A` is covariant, but used in incompatible
      position here
    code: RBS::InvalidVarianceAnnotation
- file: mixin-class-error.rbs
  diagnostics:
  - range:
      start:
        line: 5
        character: 2
      end:
        line: 5
        character: 13
    severity: ERROR
    message: Cannot include a class `::Foo` in the definition of `::Bar`
    code: RBS::MixinClassError
- file: nonregular-type-alias.rbs
  diagnostics:
  - range:
      start:
        line: 2
        character: 2
      end:
        line: 2
        character: 42
    severity: ERROR
    message: 'Type alias ::NonregularTypeAlias::t is defined *non-regular*: ::NonregularTypeAlias::t[::String,
      ::Integer]'
    code: RBS::NonregularTypeAlias
- file: recursive-alias.rbs
  diagnostics:
  - range:
      start:
        line: 2
        character: 2
      end:
        line: 2
        character: 15
    severity: ERROR
    message: 'Circular method alias is detected in `::RecursiveAlias`: foo -> bar
      -> baz'
    code: RBS::RecursiveAlias
- file: recursive-class.rbs
  diagnostics:
  - range:
      start:
        line: 1
        character: 0
      end:
        line: 2
        character: 3
    severity: ERROR
    message: 'Circular inheritance/mix-in is detected: ::Foo <: ::Bar <: ::Baz <:
      ::Foo'
    code: RBS::RecursiveAncestor
  - range:
      start:
        line: 4
        character: 0
      end:
        line: 5
        character: 3
    severity: ERROR
    message: 'Circular inheritance/mix-in is detected: ::Bar <: ::Baz <: ::Foo <:
      ::Bar'
    code: RBS::RecursiveAncestor
  - range:
      start:
        line: 7
        character: 0
      end:
        line: 8
        character: 3
    severity: ERROR
    message: 'Circular inheritance/mix-in is detected: ::Baz <: ::Foo <: ::Bar <:
      ::Baz'
    code: RBS::RecursiveAncestor
- file: recursive-type-alias.rbs
  diagnostics:
  - range:
      start:
        line: 1
        character: 0
      end:
        line: 1
        character: 14
    severity: ERROR
    message: 'Type aliases cannot be *directly recursive*: ::foo'
    code: RBS::RecursiveTypeAlias
  - range:
      start:
        line: 2
        character: 0
      end:
        line: 2
        character: 14
    severity: ERROR
    message: 'Type aliases cannot be *directly recursive*: ::bar'
    code: RBS::RecursiveTypeAlias
  - range:
      start:
        line: 3
        character: 0
      end:
        line: 3
        character: 14
    severity: ERROR
    message: 'Type aliases cannot be *directly recursive*: ::baz'
    code: RBS::RecursiveTypeAlias
- file: superclass-mismatch.rbs
  diagnostics:
  - range:
      start:
        line: 2
        character: 2
      end:
        line: 3
        character: 5
    severity: ERROR
    message: Different superclasses are specified for `::SuperclassMismatch::Foo`
    code: RBS::SuperclassMismatch
- file: unknown-method-alias.rbs
  diagnostics:
  - range:
      start:
        line: 2
        character: 2
      end:
        line: 2
        character: 15
    severity: ERROR
    message: Cannot find the original method `bar` in `::UnknownMethodAlias`
    code: RBS::UnknownMethodAlias
- file: unknown-type-name-2.rbs
  diagnostics:
  - range:
      start:
        line: 2
        character: 13
      end:
        line: 2
        character: 16
    severity: ERROR
    message: Cannot find type `::bar`
    code: RBS::UnknownTypeName
  - range:
      start:
        line: 4
        character: 9
      end:
        line: 4
        character: 14
    severity: ERROR
    message: Cannot find type `::World`
    code: RBS::UnknownTypeName
- file: unknown-type-name.rbs
  diagnostics:
  - range:
      start:
        line: 6
        character: 2
      end:
        line: 6
        character: 15
    severity: ERROR
    message: Cannot find type `World`
    code: RBS::UnknownTypeName
  - range:
      start:
        line: 8
        character: 2
      end:
        line: 9
        character: 5
    severity: ERROR
    message: Cannot find type `ABC`
    code: RBS::UnknownTypeName
  - range:
      start:
        line: 11
        character: 15
      end:
        line: 11
        character: 18
    severity: ERROR
    message: Cannot find type `ZZZ`
    code: RBS::UnknownTypeName