I agree that having a good summary on the first line is important, and that the actual wording of the messages shown is a little confusing, but:
- The annotations shown look like a prettier version of the ones done by the Closure Compiler, which I find very helpful.
- Some types can be really long, so putting two of them on the first line may not always be as readable as the TypeError example you gave. Putting them one above the other can make it much easier to spot the difference.
- The annotations shown look like a prettier version of the ones done by the Closure Compiler, which I find very helpful. - Some types can be really long, so putting two of them on the first line may not always be as readable as the TypeError example you gave. Putting them one above the other can make it much easier to spot the difference.