Fix #9309: Don't set TypeErrors on trees that are desugared later#9318
Merged
nicolasstucki merged 1 commit intoscala:masterfrom Jul 9, 2020
Merged
Fix #9309: Don't set TypeErrors on trees that are desugared later#9318nicolasstucki merged 1 commit intoscala:masterfrom
nicolasstucki merged 1 commit intoscala:masterfrom