]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ea4db35) | patch
new rules for merging expected/supplied types in closure signatures
authorNiko Matsakis <niko@alum.mit.edu>
Fri, 6 Oct 2017 10:06:38 +0000 (06:06 -0400)
committerNiko Matsakis <niko@alum.mit.edu>
Thu, 2 Nov 2017 21:47:17 +0000 (17:47 -0400)
commit053383dbeff008744fb5dea7c1c8f4fba98cc06e
treec5907727bc4f1824eb2b869aef77c9dfb62166ddtree | snapshot
parentea4db3521ebc776d68cfa6752e50cc066439f5bdcommit | diff
new rules for merging expected/supplied types in closure signatures

Also, fix numbering in mir-opt tests. We are now anonymizing more
consistently, I think, and hence some of the `TyAnon` indices shifted.
18 files changed:
src/librustc_typeck/check/closure.rs diff | blob | history
src/librustc_typeck/lib.rs diff | blob | history
src/test/compile-fail/closure-expected-type/README.md [new file with mode: 0644] blob
src/test/compile-fail/closure-expected-type/expect-fn-supply-fn-multiple.rs [new file with mode: 0644] blob
src/test/compile-fail/closure-expected-type/expect-fn-supply-fn.rs [new file with mode: 0644] blob
src/test/compile-fail/closure-expected-type/expect-infer-var-appearing-twice.rs [new file with mode: 0644] blob
src/test/compile-fail/closure-expected-type/expect-infer-var-supply-ty-with-bound-region.rs [new file with mode: 0644] blob
src/test/compile-fail/closure-expected-type/expect-infer-var-supply-ty-with-free-region.rs [new file with mode: 0644] blob
src/test/compile-fail/closure-expected-type/expect-region-supply-region.rs [new file with mode: 0644] blob
src/test/compile-fail/closure-expected-type/expect-two-infer-vars-supply-ty-with-bound-region.rs [new file with mode: 0644] blob
src/test/mir-opt/validate_1.rs diff | blob | history
src/test/mir-opt/validate_4.rs diff | blob | history
src/test/mir-opt/validate_5.rs diff | blob | history
src/test/run-pass/closure-expected-type/README.md [new file with mode: 0644] blob
src/test/run-pass/closure-expected-type/expect-infer-supply-two-infers.rs [new file with mode: 0644] blob
src/test/run-pass/closure-expected-type/issue-38714.rs [new file with mode: 0644] blob
src/test/run-pass/closure-expected-type/supply-just-return-type.rs [new file with mode: 0644] blob
src/test/run-pass/closure-expected-type/supply-nothing.rs [new file with mode: 0644] blob
Empowering everyone to build reliable and efficient software.