typetools/checker-framework 3.43.0 release

[wmdietl]

Merge with:

• Adapt to framework changes jspecify-reference-checker#1
• typetools/checker-framework 3.43.0 release eisop-codespecs/daikon#10
• Adapt to CF update eisop-plume-lib/options#187
• Adapt to CF update eisop-plume-lib/plume-util#161
• Adapt to changes from typetools/checker-framework 3.43.0 release guava#11

[Ao-senXiong]

This is a minimzed version test case.

public class Testminimize {
    static void foo() {
        new ImmutableSet.Builder<>()
                .add(R.c((Object o) -> null))
                .build();
    }

    static class R {
        static R c(Converter x) { return null; }
    }

    interface Converter {
        Object convert(Object o);
    }

    static class ImmutableSet<E> {
        static class Builder<E> {
            public Builder<E> add(E... elements) { return this; }
            public ImmutableSet<E> build() { return null; }
        }
    }
}

[Ao-senXiong]

@wmdietl Why adapt the parameters again? Code at line 2024 will call this method in the body. After that adaptation, it changes invokedMethod's parameter type from AnnotatedArrayType to AnnotatedDeclaredType, adapt it again will do a cast from AnnotatedDeclaredType to AnnotatedArrayType and caused the crash.