Commits

Doug Gregor committed ba564eec3ebM
Merge pull request #4057 from DougGregor/dictionary-literal-key-fix [Type checker] Don't merge dictionary key type variables with different kinds
Merge pull request #4057 from DougGregor/dictionary-literal-key-fix [Type checker] Don't merge dictionary key type variables with different kinds