plugin reported diagnostic for invalid span when

[bipedal-eel]

I build a memberOrder.grit thing.

My knowledge of gritql and other tools like it is very limited and the Gpt is rarely ever helpful, so please forgive the thing im about to write.

This is an excerpt of the plugin:

function recursive_aaaaa($member, $member_after) {
  or {
    // Start with TsIndexSignatureClassMember()
    // Only one of those is allowed anyway so can just be igrnored here.
    $member <: JsPropertyClassMember() where {
      property_order($member, $member_after)
    },
    $member <: TsPropertySignatureClassMember() where {
      abstract_property_order($member, $member_after)
    },
    $member <: JsStaticInitializationBlockClassMember() where {
      static_initialization_order($member, $member_after)
    },
    $member <: JsConstructorClassMember() where {
      constructor_order($member, $member_after)
    },
    $member <: JsGetterClassMember() where {
      getter_setter_order($member, $member_after)
    },
    $member <: JsSetterClassMember() where {
      getter_setter_order($member, $member_after)
    },
    $member <: JsMethodClassMember() where {
      method_order($member, $member_after)
    },
    {
      // TsMethodSignatureClassMember can be both an abstract method or a method overloader
      $member <: TsMethodSignatureClassMember(),
      if ($member <: contains TsAbstractModifier()) {
        abstract_method_order($member, $member_after)
      } else { method_order($member, $member_after) }
    }
  },
  // Why does this work??
  recursive_aaaaa()
}

// Find every class
JsClassDeclaration() as $class where {
  $class <: contains $member where {
    // this is significantly faster then not checking here and only using the "or" in recursive
    or {
      $member <: JsPropertyClassMember(),
      $member <: TsPropertySignatureClassMember(),
      $member <: JsStaticInitializationBlockClassMember(),
      $member <: JsConstructorClassMember(),
      $member <: JsGetterClassMember(),
      $member <: JsSetterClassMember(),
      $member <: JsMethodClassMember(),
      $member <: TsMethodSignatureClassMember()
    },
    $member <: before $member_after,
    or {
      $member_after <: TsIndexSignatureClassMember(),
      $member_after <: JsPropertyClassMember(),
      $member_after <: TsPropertySignatureClassMember(),
      $member_after <: JsStaticInitializationBlockClassMember(),
      $member_after <: JsConstructorClassMember(),
      $member_after <: JsGetterClassMember(),
      $member_after <: JsSetterClassMember(),
      $member_after <: JsMethodClassMember(),
      $member_after <: TsMethodSignatureClassMember()
    },
    recursive_aaaaa($member, $member_after)
  }
}

Basically the idea is to compare every class member and the member_after.
I am aware of bubble and yes this works: $class <: contains bubble $member where { ... and the "recursive" call in recursion_aaaaa can be removed, however biome check takes 3-5 times longer.

That already puts a question in my head that I cannot articulate.

Furthermore the "recursive" call can be called without parameters for some reason, which adds another question: What?

The main reason im here though is that when this finds at least one error e.g. (decorated props should be before props):

export class Test {
  public readonly _test = "";

  @decor() private readonly _testa = "";
}

This gets logged

ℹ Plugin memberOrder reported one or more diagnostics, but it didn't specify a valid span. Diagnostics have been shown without context.

/lib/src/test.ts:7:3 plugin
✖ Properties must be after static and decorated Properties: @decor() private readonly _testsss = "";

Its one info per file followed by every error in said file.

Anyone got an Idea for why theℹ is getting logged?
Knowledge as to why this works at all woud also be appreciated