@NotNull
  @Contract(pure = true)
  public static InferenceContext getTopContext() {
    return InferenceContext.TOP_CONTEXT;
  }
@NotNull
  @Contract(pure = true)
  public static InferenceContext getTopContext()