`toString` should only include info properties of `DiagnosticLevel.info` and higher but the wrong default value is used in some constructors.