]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d82fb5) | patch
Don't call instantiate_type_scheme during method probing
authorAriel Ben-Yehuda <ariel.byd@gmail.com>
Sat, 13 Jun 2015 20:34:03 +0000 (23:34 +0300)
committerAriel Ben-Yehuda <arielb1@mail.tau.ac.il>
Mon, 15 Jun 2015 15:27:35 +0000 (18:27 +0300)
commit1af72660a76605a485866ba3a80a79d331586a0a
tree8f31bacff0b661338f7c5ea9124d3e06b23d2dd8tree | snapshot
parent0d82fb55dbb9b28798ea7c2004fa91fe3ae23b86commit | diff
Don't call instantiate_type_scheme during method probing

It can introduce obligations to the fulfillment context, which would
incorrectly still remain after the probe finished.

Fixes #25679.
src/librustc_typeck/check/method/probe.rs diff | blob | history
src/test/run-pass/issue-25679.rs [new file with mode: 0644] blob
Empowering everyone to build reliable and efficient software.