No description provided for @defectInfo.
In de, this message translates to: 'Info: {info}'
@override String defectInfo(Object info) { return 'Info: $info'; }