summary refs log tree commit diff
path: root/src/test/compile-fail/wf-static-method.rs
AgeCommit message (Collapse)AuthorLines
2016-03-18change coercion to use target region if not LUBNiko Matsakis-2/+2
2015-10-03use the correct subtyping order in a testAriel Ben-Yehuda-8/+35
also, ensure that callers are checked.
2015-10-02ensure that the types of methods are well-formedAriel Ben-Yehuda-0/+37
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