]> git.lizzy.rs Git - rust.git/commit
Rollup merge of #41937 - nikomatsakis:issue-41936-variance-coerce-unsized-cycle,...
authorMark Simulacrum <mark.simulacrum@gmail.com>
Tue, 16 May 2017 23:31:49 +0000 (17:31 -0600)
committerGitHub <noreply@github.com>
Tue, 16 May 2017 23:31:49 +0000 (17:31 -0600)
commit8f61055c529d12a04ee077ad42a80b9f9b952cb1
tree7e4b054718986f98818cc55f2cd425ce9c0599d5
parent0f68728fb372ff6b0b543f87ac6776f9d12a4b05
parent6db4beb3e833eb7d8daad30e2a9ecc27d54a0318
Rollup merge of #41937 - nikomatsakis:issue-41936-variance-coerce-unsized-cycle, r=eddyb

use equality in the coerce-unsized check

This seems both to be a safe, conservative choice, and it sidesteps the cycle in #41849. Note that, before I converted variance into proper queries, we were using a hybrid of subtyping and equality, due to the presence of a flag that forced invariance if variance had not yet been computed. (Also, Coerce Unsized is unstable.)

Fixes #41936.

r? @eddyb