Implement the DefaultValueMismatch diagnostic (fixes #1)
Merge pull request #6 from sharwell/fix-1

Implement the DefaultValueMismatch diagnostic