summary refs log tree commit diff
path: root/src/test/ui/wf
AgeCommit message (Collapse)AuthorLines
2020-01-05Add backticks to various diagnosticsvarkor-1/+1
2019-11-21Auto merge of #66389 - estebank:type-err-labels, r=petrochenkovbors-2/+2
Specific labels when referring to "expected" and "found" types
2019-11-18Specific labels when referring to "expected" and "found" typesEsteban Küber-2/+2
2019-10-27update testsMark Mansi-0/+12
2019-10-23Auto merge of #57545 - bovinebuddha:object_safe_for_dispatch, r=nikomatsakisbors-0/+169
Object safe for dispatch cc #43561
2019-10-22RFC 2027: "first draft" of implementationMathias Blikstad-0/+169
These are a squashed series of commits.
2019-10-15Deduplicate some code and apply review commentsEsteban Küber-4/+5
2019-10-15Handle `Self` restriction neededEsteban Küber-18/+24
2019-10-15Handle more casesEsteban Küber-38/+44
2019-10-15Use structured suggestion for restricting boundsEsteban Küber-4/+4
When a trait bound is not met and restricting a type parameter would make the restriction hold, use a structured suggestion pointing at an appropriate place (type param in param list or `where` clause). Account for opaque parameters where instead of suggesting extending the `where` clause, we suggest appending the new restriction: `fn foo(impl Trait + UnmetTrait)`.
2019-10-14Rollup merge of #65395 - JohnTitor:add-tests, r=CentrilMazdak Farrokhzad-0/+21
Add some tests for fixed ICEs Fixes #44153 (from 1.23.0) Fixes #47486 (from 1.36.0) Fixes #48010 (from 1.38.0) Fixes #48027 (from nightly) Fixes #48638 (from nightly)
2019-10-14Add test for issue-48638Yuki Okushi-0/+21
2019-10-11Print lifetimes with backticksYuki Okushi-10/+10
2019-10-07update ui testsGuillaume Gomez-1/+1
2019-09-12update ui testsGuillaume Gomez-1/+2
2019-09-02account for DUMMY_SP and correct wordingEsteban Küber-1/+1
2019-09-02On object safety violation, point at source when possibleEsteban Küber-2/+3
2019-08-31Use span label instead of note for cause in E0631Esteban Küber-135/+81
2019-05-29Update ui test suite to use dynmemoryruins-16/+16
2019-05-12Change compare mode to use -Zborrowck=mirMatthew Jasper-0/+65
2019-04-22Remove double trailing newlinesvarkor-1/+0
2019-04-22update tests for migrate mode by defaultMatthew Jasper-152/+41
2019-04-18hide `--explain` hint if error has no extended infoAndy Russell-3/+2
2019-03-11Update NLL testsVadim Petrochenkov-6/+6
2019-03-11Update testsVadim Petrochenkov-52/+52
2019-03-06Regression test for issue #58158.Felix S. Klock II-0/+40
2019-01-01Fix broken links to second edition TRPL.Corey Farwell-2/+2
Fixes https://github.com/rust-lang/rust/issues/57104.
2018-12-25Remove licensesMark Rousskov-485/+125
2018-12-04Update testsOliver Scherer-6/+6
2018-11-07remove `#[rustc_error]` from ui/ tests that remain compile-fail tests.Felix S. Klock II-46/+46
2018-10-21Use new region infer errors for explaining borrowsMatthew Jasper-90/+33
This gives at least some explanation for why a borrow is expected to last for a certain free region. Also: * Reports E0373: "closure may outlive the current function" with NLL. * Special cases the case of returning a reference to (or value referencing) a local variable or temporary (E0515). * Special case assigning a reference to a local variable in a closure to a captured variable.
2018-10-19Auto merge of #55004 - oli-obk:sized_static, r=cramertjbors-4/+4
Check the type of statics and constants for `Sized`ness fixes #54410
2018-10-17Update output for borrowck=migrate compare mode.David Wood-55/+0
This commit updates the test output for the updated NLL compare mode that uses `-Z borrowck=migrate` rather than `-Z borrowck=mir`. The previous commit changes `compiletest` and this commit only updates `.nll.stderr` files.
2018-10-16Check the type of statics and constants for `Sized`nessOliver Scherer-4/+4
2018-10-10Use the span of the user type for `AscribeUserType`Matthew Jasper-1/+32
Also change the order of the fake read for let and the AscribeUserType, so that we use the better span and message from the fake read in errors.
2018-09-25Update E0714 to E0716 in tests outputMikhail Modin-5/+5
2018-09-25add "temporary value dropped while borrowed" errorMikhail Modin-13/+14
Issue #54131
2018-09-11stabalize infer outlives requirements (RFC 2093).toidiu-27/+28
Co-authored-by: nikomatsakis
2018-09-06Auto merge of #53707 - eddyb:phantom-waffles, r=oli-obkbors-5/+27
rustc_typeck: turn `where Type:,` into a WF(Type) predicate, instead of ignoring it. Fixes #53696, assuming crater doesn't catch anyone using this syntax already. Allowing an empty list of bounds in the grammar was done for the benefit of macro authors, most of which would *probably* be using it for bounds on type parameters, which are always WF. r? @nikomatsakis cc @petrochenkov
2018-09-01Update testsBasile Desloges-30/+0
2018-08-31rustc_typeck: turn `where Type:,` into a WF(Type) predicate, instead of ↵Eduard-Mihai Burtescu-5/+27
ignoring it.
2018-08-14Update former compile-fail testsMatthew Jasper-2/+2
2018-08-14Merged migrated compile-fail tests and ui tests. Fixes #46841.David Wood-0/+2017