diff options
| author | Ariel Ben-Yehuda <arielb1@mail.tau.ac.il> | 2015-09-26 01:27:39 +0300 |
|---|---|---|
| committer | Ariel Ben-Yehuda <ariel.byd@gmail.com> | 2015-10-02 23:40:10 +0300 |
| commit | 603a75c8eaa8ee168e4333e4fba5eb782ed7192b (patch) | |
| tree | de0c588e05460fed2da1137a96526d6b308a57e8 /src/rustllvm/RustWrapper.cpp | |
| parent | e82faeb65594302897223b2ca4ee6927fb54625f (diff) | |
| download | rust-603a75c8eaa8ee168e4333e4fba5eb782ed7192b.tar.gz rust-603a75c8eaa8ee168e4333e4fba5eb782ed7192b.zip | |
ensure that the types of methods are well-formed
By RFC1214: Before calling a fn, we check that its argument and return types are WF. This check takes place after all higher-ranked lifetimes have been instantiated. Checking the argument types ensures that the implied bounds due to argument types are correct. Checking the return type ensures that the resulting type of the call is WF. The previous code only checked the trait-ref, which was not enough in several cases. As this is a soundness fix, it is a [breaking-change]. Fixes #28609
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions