Use the phantom type parameter with Diagnostic and SourceRange. #31