]> git.lizzy.rs Git - rust.git/commit
add a WF obligation if a type variable appears in bivariant position
authorNiko Matsakis <niko@alum.mit.edu>
Tue, 2 May 2017 21:34:31 +0000 (17:34 -0400)
committerNiko Matsakis <niko@alum.mit.edu>
Thu, 11 May 2017 18:52:26 +0000 (14:52 -0400)
commita4151ff3c4179587e5601bb529543cf1de5e91d8
treeca3a5bd4094788ce4738c7b40d230c4bc14f215b
parenta950c37394cf45428c4852359c803e5a3c194ee6
add a WF obligation if a type variable appears in bivariant position
src/librustc/infer/combine.rs
src/test/run-pass/issue-41677.rs [new file with mode: 0644]