<feed xmlns='http://www.w3.org/2005/Atom'>
<title>rust/src/test/compile-fail/wf-static-method.rs, branch 1.24.0</title>
<subtitle>https://github.com/rust-lang/rust
</subtitle>
<id>http://git.dreamy.place/mirrors/rust/atom?h=1.24.0</id>
<link rel='self' href='http://git.dreamy.place/mirrors/rust/atom?h=1.24.0'/>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/'/>
<updated>2016-03-18T20:38:29+00:00</updated>
<entry>
<title>change coercion to use target region if not LUB</title>
<updated>2016-03-18T20:38:29+00:00</updated>
<author>
<name>Niko Matsakis</name>
<email>niko@alum.mit.edu</email>
</author>
<published>2016-03-17T08:15:06+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=1922041e7f69407e7fa40bf90e8ec47d49a97fd2'/>
<id>urn:sha1:1922041e7f69407e7fa40bf90e8ec47d49a97fd2</id>
<content type='text'>
</content>
</entry>
<entry>
<title>use the correct subtyping order in a test</title>
<updated>2015-10-03T09:03:48+00:00</updated>
<author>
<name>Ariel Ben-Yehuda</name>
<email>ariel.byd@gmail.com</email>
</author>
<published>2015-10-02T20:52:18+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=2f23e171cb51b0f8b3658d0149217bde8e730059'/>
<id>urn:sha1:2f23e171cb51b0f8b3658d0149217bde8e730059</id>
<content type='text'>
also, ensure that callers are checked.
</content>
</entry>
<entry>
<title>ensure that the types of methods are well-formed</title>
<updated>2015-10-02T20:40:10+00:00</updated>
<author>
<name>Ariel Ben-Yehuda</name>
<email>arielb1@mail.tau.ac.il</email>
</author>
<published>2015-09-25T22:27:39+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=603a75c8eaa8ee168e4333e4fba5eb782ed7192b'/>
<id>urn:sha1:603a75c8eaa8ee168e4333e4fba5eb782ed7192b</id>
<content type='text'>
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
</content>
</entry>
</feed>
