[extension types/analyzer] The receiver can't be null false negative on extension type typed values?

[extension types/analyzer] The receiver can't be null false negative on extension type typed values? #750