@Override
  public TextAttributesKey @NotNull [] getTokenHighlights(IElementType type) {
    return pack(ATTRIBUTES.get(type));
  }
@Override
  public TextAttributesKey @NotNull [] getTokenHighlights(IElementType type)