summary refs log tree commit diff
path: root/src/test/ui/span
AgeCommit message (Collapse)AuthorLines
2019-08-10resolve: Move late resolution into a separate visitorVadim Petrochenkov-8/+6
Move `Resolver` fields specific to late resolution to the new visitor. The `current_module` field from `Resolver` is replaced with two `current_module`s in `LateResolutionVisitor` and `BuildReducedGraphVisitor`. Outside of those visitors `current_module` is replaced by passing `parent_scope` to more functions and using the parent module from it. Visibility resolution no longer have access to later resolution methods and has to use early resolution, so its diagnostics in case of errors regress slightly.
2019-08-03Move special treatment of `derive(Copy, PartialEq, Eq)` from expansion ↵Vadim Petrochenkov-1/+28
infrastructure to elsewhere
2019-07-24Rollup merge of #62772 - estebank:trait-bound, r=matthewjasperMazdak Farrokhzad-3/+5
Suggest trait bound on type parameter when it is unconstrained Given ``` trait Foo { fn method(&self) {} } fn call_method<T>(x: &T) { x.method() } ``` suggest constraining `T` with `Foo`. Fix #21673, fix #41030.
2019-07-19Auto merge of #62684 - petrochenkov:scopevisit, r=davidtwcobors-23/+6
resolve: Improve candidate search for unresolved macro suggestions Use same scope visiting machinery for both collecting suggestion candidates and actually resolving the names. The PR is better read in per-commit fashion with whitespace changes ignored (the first commit in particular moves some code around). This should be the last pre-requisite for https://github.com/rust-lang/rust/pull/62086. r? @davidtwco
2019-07-18Suggest trait bound on type parameter when it is unconstrainedEsteban Küber-3/+5
Given ``` mented on Jan 26, 2015 • trait Foo { fn method(&self) {} } fn call_method<T>(x: &T) { x.method() } ``` suggest constraining `T` with `Foo`.
2019-07-18Rollup merge of #62764 - ↵Mark Rousskov-5/+5
fakenine:normalize_use_of_backticks_compiler_messages_p7, r=alexreg normalize use of backticks in compiler messages for librustc/lint https://github.com/rust-lang/rust/issues/60532
2019-07-18resolve: Use `feature(custom_attribute)` fallback only if the feature is enabledVadim Petrochenkov-23/+6
Normally `#![feature(...)]` shouldn't change behavior, but custom attributes in particular are in the process of retirement, and we should not produce a message telling to enable them. It also helps with unifying diagnostics for unresolved macros.
2019-07-17normalize use of backticks in compiler messages for librustc/lintSamy Kacimi-5/+5
https://github.com/rust-lang/rust/issues/60532
2019-07-16Update the help message on error for self typeLimira-1/+1
2019-07-11Remove feature gate `dropck_parametricity` completelyLzu Tao-11/+8
Therefore we also remove `#[unsafe_destructor_blind_to_params]` attribute completly.
2019-07-11Replace unsafe_destructor_blind_to_params with may_dangleLzu Tao-5/+5
2019-07-09normalize use of backticks in compiler messages for libsyntax/feature_gateSamy Kacimi-4/+4
https://github.com/rust-lang/rust/issues/60532
2019-07-03Migrate compile-pass annotations to build-passYuki Okushi-3/+3
2019-06-03Update tests for changes to cannot move errorsMatthew Jasper-3/+3
2019-06-03Auto merge of #61331 - estebank:fn-arg-parse-recovery, r=varkorbors-0/+20
Recover gracefully from argument with missing type or param name
2019-06-01review comment: tweak wordingEsteban Küber-3/+3
2019-05-31Tweak wordingEsteban Küber-1/+1
2019-05-31Alternative wording for inference failureEsteban Küber-3/+3
2019-05-31Add more detail to type inference errorEsteban Küber-2/+2
When encountering code where type inference fails, add more actionable information: ``` fn main() { let foo = Vec::new(); } ``` ``` error[E0282]: type annotations needed for `std::vec::Vec<_>` --> $DIR/vector-no-ann.rs:2:16 | LL | let foo = Vec::new(); | --- ^^^^^^^^ cannot infer type for `T` | | | consider giving `foo` the type `std::vec::Vec<_>` with the type parameter `T` specified ``` We still need to modify type printing to optionally accept a `TypeVariableTable` in order to properly print `std::vec::Vec<T>`. CC #25633.
2019-05-30Recover gracefully from argument with missing type or param nameEsteban Küber-0/+20
2019-05-29Update ui test suite to use dynmemoryruins-22/+22
2019-05-17Account for &String + StringEsteban Küber-2/+2
2019-05-16review commentsEsteban Küber-10/+10
2019-05-16Fix binop spanEsteban Küber-12/+9
2019-05-16Handle more string addition cases with appropriate suggestionsEsteban Küber-2/+161
2019-04-23Update ui testsvarkor-9/+9
2019-04-23Remove unnecessary ignore-tidy-linelengthvarkor-4/+0
2019-04-22Remove double trailing newlinesvarkor-2/+0
2019-04-22update tests for migrate mode by defaultMatthew Jasper-1725/+533
2019-04-18hide `--explain` hint if error has no extended infoAndy Russell-13/+10
2019-04-11Reword tracking issue noteEsteban Küber-4/+4
2019-04-10Tweak unstable diagnostic outputEsteban Küber-4/+8
2019-04-05Fix expectations on some ui tests involving FnOnce.Masaki Hara-4/+4
2019-03-29Rollup merge of #59473 - estebank:borrow-sugg-inside-macro, r=davidtwcoMazdak Farrokhzad-4/+1
Do not emit incorrect borrow suggestion involving macros and fix overlapping multiline spans Fix #58298.
2019-03-29Rollup merge of #59467 - hgallagher1993:local_branch, r=estebankMazdak Farrokhzad-6/+15
Better diagnostic for binary operation on BoxedValues Fixes #59458
2019-03-28Add check for when left and right overlap and change span for explanation to ↵hgallagher1993-4/+3
point at operator
2019-03-27Do not suggest borrowing when the span comes from a macroEsteban Küber-4/+1
2019-03-27Better diagnostic for binary operation on BoxedValueshgallagher1993-6/+16
2019-03-25When moving out of a for loop head, suggest borrowing it in nll modeEsteban Küber-1/+0
2019-03-11Update NLL testsVadim Petrochenkov-37/+37
2019-03-11Update testsVadim Petrochenkov-113/+113
2019-02-20Fix erroneous loop diagnostic in nllSantiago Pastorino-5/+5
This commit fixes the logic of detecting when a use happen in a later iteration of where a borrow was defined Fixes #53773
2019-02-11Use hidden suggestions for unused imports lintEsteban Küber-4/+0
2019-02-08unused_imports: update testsPietro Albini-0/+4
2019-01-28Unused variable suggestions on all patterns.David Wood-1/+1
This commit extends existing suggestions to prefix unused variable bindings in match arms with an underscore so that it applies to all patterns in a match arm.
2019-01-19Suggest usage of angle bracketsEsteban Küber-4/+4
2019-01-14Rollup merge of #57477 - euclio:clarify-lev-suggestion, r=zackmdavisMazdak Farrokhzad-2/+2
clarify resolve typo suggestion Include the kind of the binding that we're suggesting, and use a structured suggestion. Fixes #53445.
2019-01-09clarify resolve typo suggestionAndy Russell-2/+2
Include the kind of the binding that we're suggesting, and use a structured suggestion.
2019-01-08improve non_snake_case diagnosticsAndy Russell-4/+4
Use a structured suggestion and tighten the span to just the identifier.
2019-01-06Make sure feature gate errors are recoverable (take 2)Vadim Petrochenkov-3/+3