7:52:50flip214When a type mismatch is detected during compilation (but reported "only" as a warning?!), quite a few "deleting unreachable code" notes are thrown as well.
7:53:00flip214(so the warning should be an error, I guess?)
7:53:34flip214how about dropping the unreachable notes? They get reported first and might confuse people; the important thing is the type mismatch anyway!