Update on experimental diagnostics features

A brief update:

I'm happy to announce that most of the educational notes infrastructure has now landed on master, and the feature is now enabled by default! As a result, the hidden frontend flag enable-educational-notes has been removed. Notes can be shown on the command line by passing the new -print-educational-notes flag.

I've also created a jira task to track expanding coverage to more diagnostics, and added a quick-start guide which assumes no prior knowledge or contributions if anyone is interested in adding their own.

11 Likes