Skip to content

Walker: decline extension functions whose receiver has a supertype off the compile classpath #66

Closed

Description

@b-re-w

#38 added unreachableSupertypeOf and declines member/extension properties whose receiver class has a supertype missing from the consumer's compile classpath (kotlinc cannot build the member scope: 'Cannot access ... which is a supertype of ...'). Extension functions go through the same receiver cast and have the same latent hazard; no jar has hit it yet.

Completion: a plugin unit test with an extension function on a fixture class extending an off-classpath type is declined with a reason naming the missing supertype; :ksp-fixtures:compose and :artifact desktopTest still green.

Activity

  1. b-re-w commented on Oct 3, 2026

    @b-re-w
    MemberAuthor

    Landed in develop via #80.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions