Code

Avoid infinite recursion.#4039

Code

Merged

mernst merged 4 commits intotypetools:mastertypetools/checker-framework:masterfrom smillst:issue3994smillst/checker-framework:issue3994Copy head branch name to clipboardDec 17, 2020

+33-14

Commits

Commits on Dec 16, 2020

• Avoid infinite recursion.

  smillst

  committed
  9ff69c5

  Copy full SHA for 9ff69c5

• Correct condition.

  smillst

  committed
  8e71c52

  Copy full SHA for 8e71c52

• Typo.

  smillst

  committed
  08783bf

  Copy full SHA for 08783bf

Commits on Dec 17, 2020

• Merge remote-tracking branch 'origin/master' into issue3994

  smillst

  committed
  525a2c9

  Copy full SHA for 525a2c9