Merge pull request #7792 from DougGregor/sr-4059-3.1

[3.1] [Type checker] Teach `areOverrideCompatibleSimple()` to look at initializers