Ok, I've tried to do what you suggested. The new patch is attached.
Now it seems to generate the new diagnostic only with record types, as expected.
However, I'm not very sure about the error recovery.
Generally speaking, how does it work in clang? In the case of recoverable errors, the lexer/parser/sema code continues as the user had typed the right code?
Thanks,
Nicola
member_pointer_suggestion.patch (3.32 KB)