Nested change not highlighted when selecting error

[amchiclet]

1. Infer type qualifiers for the project jolden-health.

2. Select the change Change parameter back to @Nullable Village. Expand it.

3. Select the error

   incompatible types in argument.
   Village village = new Village(level, label, back, seed);
   found : @Initialized @Nullable Village
   required : @Initialized @NonNull Village
   

4. The change Change parameter p to @Nullable Village should be highlighted but it is not.