about summary refs log tree commit diff
path: root/src/test/compile-fail/explicit-self-lifetime-mismatch.rs
AgeCommit message (Collapse)AuthorLines
2018-08-14Moved compile-fail tests to ui tests.David Wood-30/+0
2016-12-28rustc: move function arguments into hir::Body.Eduard-Mihai Burtescu-3/+3
2016-07-23address review commentsAriel Ben-Yehuda-3/+5
I split the RFC1592 commit out
2016-05-02update test cases to reflect new messagesNiko Matsakis-4/+4
2015-03-15Strip all leading/trailing newlinesTamir Duberstein-1/+0
2015-01-12Fix testsuite errorsmdinger-2/+8
2015-01-08Update compile fail tests to use isize.Huon Wilson-2/+2
2014-11-18Stop checking the correctness of explicit self twice; instead, justNiko Matsakis-3/+0
use simple pattern matching to take a guess at what the method's self category is in astconv, and check it more thoroughly later.
2014-10-29Update tests with the new diagnostic tweaksJakub Bukaj-4/+4
2014-08-24Adjust the error messages to match the pattern "expected foo, found bar"Jonas Hietala-4/+4
Closes #8492
2014-07-16librustc: Implement the fully-expanded, UFCS form of explicit self.Patrick Walton-0/+26
This makes two changes to region inference: (1) it allows region inference to relate early-bound regions; and (2) it allows regions to be related before variance runs. The former is needed because there is no relation between the two regions before region substitution happens, while the latter is needed because type collection has to run before variance. We assume that, before variance is inferred, that lifetimes are invariant. This is a conservative overapproximation. This relates to #13885. This does not remove `~self` from the language yet, however. [breaking-change]