]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76ade3e) | patch
Use `eq_opaque_type_and_type` when type-checking closure signatures
authorAaron Hill <aa1ronham@gmail.com>
Fri, 8 Nov 2019 13:58:32 +0000 (08:58 -0500)
committerAaron Hill <aa1ronham@gmail.com>
Fri, 8 Nov 2019 13:58:32 +0000 (08:58 -0500)
commitb696f488917b1a39f0bab4c566e7627b49196e71
tree0c36f3d2ed44d97a1ba105e09f8fc543bb76288dtree | snapshot
parent76ade3e8ac42cd7a7b7c3c5ef54818ab68e3ebdccommit | diff
Use `eq_opaque_type_and_type` when type-checking closure signatures

This handles the case where a user explicitly annotations a closure
signature with a opaque return type.

Fixes #63263
src/librustc_mir/borrow_check/nll/type_check/input_output.rs diff | blob | history
src/test/ui/type-alias-impl-trait/issue-63263-closure-return.rs [new file with mode: 0644] blob
Empowering everyone to build reliable and efficient software.