Merge remote-tracking branch 'remotes/upstream/master'
Merge branch 'master' into polyvariant-strictness