about summary refs log tree commit diff
path: root/src/test/compile-fail/issue-5883.rs
AgeCommit message (Collapse)AuthorLines
2018-07-15Move some `compile-fail` tests to `ui`Esteban Küber-23/+0
2018-07-10Fix typo in error message E0277Rémy Rakic-2/+2
2018-06-19Update message for `!Sized` typesEsteban Küber-2/+2
2018-06-19Add message to `rustc_on_unimplemented` attributes in coreEsteban Küber-2/+2
2016-10-24adapt existing testsTim Neumann-2/+0
2016-04-05improve the printing of substs and trait-refsAriel Ben-Yehuda-2/+2
2016-04-05suggest adding a where-clause when that can helpAriel Ben-Yehuda-2/+2
suggest adding a where-clause when there is an unmet trait-bound that can be satisfied if some type can implement it.
2016-03-30Fix fallout in testsJeffrey Seyfried-2/+2
2015-04-21test: Fix fallout in testsAlex Crichton-4/+2
2015-02-18Fallout: tests. As tests frequently elide things, lots of changesNiko Matsakis-2/+4
here. Some of this may have been poorly rebased, though I tried to be careful and preserve the spirit of the test.
2015-01-07markers -> markerNick Cameron-2/+2
2015-01-07Change `std::kinds` to `std::markers`; flatten `std::kinds::marker`Nick Cameron-2/+2
[breaking-change]
2014-12-02Correct various compile-fail tests. Most of the changes are because weNiko Matsakis-1/+0
now don't print duplicate errors within one context, so I sometimes had to break functions into two functions.
2014-10-19Ensure that the return type of a function is SizedAriel Ben-Yehuda-1/+2
While no real rvalue of an unsized type can exist, a diverging function can still "return" a value of such a type, which causes an ICE. Fixes #18107.
2014-09-15Update error messages in compile-fail testsNiko Matsakis-4/+3
2014-09-08Forbid unsized rvaluesNick Cameron-0/+2
Closes #16813
2014-08-27Implement generalized object and type parameter bounds (Fixes #16462)Niko Matsakis-4/+4
2014-08-26Rebasing changesNick Cameron-1/+1
2014-08-26DST coercions and DST structsNick Cameron-3/+2
[breaking-change] 1. The internal layout for traits has changed from (vtable, data) to (data, vtable). If you were relying on this in unsafe transmutes, you might get some very weird and apparently unrelated errors. You should not be doing this! Prefer not to do this at all, but if you must, you should use raw::TraitObject rather than hardcoding rustc's internal representation into your code. 2. The minimal type of reference-to-vec-literals (e.g., `&[1, 2, 3]`) is now a fixed size vec (e.g., `&[int, ..3]`) where it used to be an unsized vec (e.g., `&[int]`). If you want the unszied type, you must explicitly give the type (e.g., `let x: &[_] = &[1, 2, 3]`). Note in particular where multiple blocks must have the same type (e.g., if and else clauses, vec elements), the compiler will not coerce to the unsized type without a hint. E.g., `[&[1], &[1, 2]]` used to be a valid expression of type '[&[int]]'. It no longer type checks since the first element now has type `&[int, ..1]` and the second has type &[int, ..2]` which are incompatible. 3. The type of blocks (including functions) must be coercible to the expected type (used to be a subtype). Mostly this makes things more flexible and not less (in particular, in the case of coercing function bodies to the return type). However, in some rare cases, this is less flexible. TBH, I'm not exactly sure of the exact effects. I think the change causes us to resolve inferred type variables slightly earlier which might make us slightly more restrictive. Possibly it only affects blocks with unreachable code. E.g., `if ... { fail!(); "Hello" }` used to type check, it no longer does. The fix is to add a semicolon after the string.
2014-05-18Advice to use Box<T> not ~TJeong YunWon-3/+3
2014-04-10Remove references to @Trait from a compiler error messageKevin Ballard-3/+5
2013-10-24Remove even more of std::ioAlex Crichton-3/+3
Big fish fried here: extra::json most of the compiler extra::io_util removed extra::fileinput removed Fish left to fry extra::ebml
2013-07-17testsuite: Add compile-fail test for #5883Tim Chevalier-0/+23