On Tue, 20 Nov 2018, David Malcolm wrote: > Should I do:
You should do whatever is appropriate for the warning in question. But if what's appropriate for the warning in question includes types that are compatible but not the same, the comments need to avoid saying it's about the types being the same. -- Joseph S. Myers jos...@codesourcery.com
