Improvement of error message in [type.invalid.conflicting.annos] error

Consider the following code:

import org.checkerframework.common.value.qual.*;
import org.checkerframework.checker.index.qual.*;

class ltlength{
    public void check(int[] data, `@IndexFor`("#1") `@LTLengthOf`(value = {"#1"}, offset = {"1"}) int offset){

    }
}

Run it by typing in the terminal:
javac -processor org.checkerframework.checker.index.IndexChecker ltlength.java

Output:

ltlength.java:5: error: [type.invalid.conflicting.annos] invalid type: conflicting annotations [`@LTLengthOf`(value="data", offset="1"), `@LTLengthOf`(value="data", offset={})] in type "`@LTLengthOf`(value="data", offset="1") `@LTLengthOf`(value="data", offset={}) int"
    public void check(int[] data, `@IndexFor`("#1") `@LTLengthOf`(value = {"#1"}, offset = {"1"}) int offset){

This error is produced because @IndexFor("#1") is implemented as @LTLengthOf("#1") which conflicts with the second annotation @LTLengthOf(value = {"#1"}, offset = {"1"}).
But, in the error message, there is no mention of @IndexFor("#1") being compared as @LTLengthOf("#1") which may confuse the programmer as to why this error is being produced.

Start by reproducing the example with javac -processor org.checkerframework.checker.index.IndexChecker ltlength.java and inspect the diagnostic identified as type.invalid.conflicting.annos. Trace how @IndexFor("#1") is represented as @LTLengthOf("#1"); done means the error message makes that comparison clear while preserving the conflicting-annotation details.