about summary refs log tree commit diff
path: root/tests/ui/dropck
AgeCommit message (Collapse)AuthorLines
2025-06-30Unconditionally run `check_item_type` on all itemsOli Scherer-15/+24
2025-06-08add tests for pattern binding drop order edge casesdianne-0/+124
I couldn't find existing tests that for this behavior, so this should make sure it doesn't accidentally change.
2025-06-03Use non-2015 edition paths in tests that do not test for their resolutionLukas Wirth-1/+1
This allows for testing these tests on editions other than 2015
2025-05-07Remove manual WF hackMichael Goulet-4/+38
2025-02-24Don't immediately panic if dropck fails without returning errorsMatthew Jasper-0/+33
Type lowering can give non-fatal errors that dropck then uses to suppress its own errors. Assume this is the cases when we can't find the error in borrowck.
2025-02-17Update tests for dropck normalization errorsMatthew Jasper-0/+176
Takes crash tests from #135039, #103899, #91985 and #105299 and turns them into ui tests
2025-02-14Trim suggestion parts to the subset that is purely additiveMichael Goulet-2/+2
2025-02-14Use underline suggestions for purely 'additive' replacementsMichael Goulet-6/+4
2025-02-10Show diff suggestion format on verbose replacementEsteban Küber-4/+6
``` error[E0610]: `{integer}` is a primitive type and therefore doesn't have fields --> $DIR/attempted-access-non-fatal.rs:7:15 | LL | let _ = 2.l; | ^ | help: if intended to be a floating point literal, consider adding a `0` after the period and a `f64` suffix | LL - let _ = 2.l; LL + let _ = 2.0f64; | ```
2024-12-07Use trait name instead of full constraint in suggestion messageEsteban Küber-4/+4
``` help: consider restricting type parameter `T` with traits `Copy` and `Trait` | LL | fn duplicate_custom<T: Copy + Trait>(t: S<T>) -> (S<T>, S<T>) { | ++++++++++++++ ``` ``` help: consider restricting type parameter `V` with trait `Copy` | LL | fn index<'a, K, V: std::marker::Copy>(map: &'a HashMap<K, V>, k: K) -> &'a V { | +++++++++++++++++++ ```
2024-12-07reword trait bound suggestion message to include the boundsEsteban Küber-4/+4
2024-11-26Rollup merge of #133402 - compiler-errors:drop-and-destruct, r=lcnrMichael Goulet-39/+0
Constify `Drop` and `Destruct` r? `@lcnr` or `@fee1-dead`
2024-11-26tests: remove `//@ pretty-expanded` usages许杰友 Jieyou Xu (Joe)-1/+0
Done with ```bash sd '//@ pretty-expanded.*\n' '' tests/ui/**/*.rs ``` and ``` sd '//@pretty-expanded.*\n' '' tests/ui/**/*.rs ```
2024-11-25Constify Drop and DestructMichael Goulet-39/+0
2024-11-05Tweak E0320 overflow error wordingEsteban Küber-12/+12
Surrount type with backticks as we should in every error.
2024-11-03Yeet effects featureMichael Goulet-16/+4
2024-10-28Hack out effects support for old solverMichael Goulet-6/+1
2024-10-17Rollup merge of #128391 - cafce25:issue-128390, r=lcnrMatthias Krüger-3/+4
Change orphan hint from "only" to "any uncovered type inside..." Fix #128390
2024-09-26Make new information notes instead of labelsJonathan Birk-4/+4
2024-09-24replace "cast" with "coercion" where applicableLukas Markeffsky-6/+6
This changes the remaining span for the cast, because the new `Cast` category has a higher priority (lower `Ord`) than the old `Coercion` category, so we no longer report the region error for the "unsizing" coercion from `*const Trait` to itself.
2024-08-11Add more information link to orphan implsJonathan Birk-1/+2
2024-07-31Rollup merge of #128438 - Bryanskiy:empty-array-dropck, r=lcnrMatthias Krüger-0/+23
Add special-case for [T, 0] in dropck_outlives implements/fixes #110288. r? `@lcnr`
2024-07-31Add special-case for [T, 0] in dropckBryanskiy-0/+23
2024-07-30Adjust orphan note in testsJonathan Birk-1/+1
2024-07-26Peel off explicit (or implicit) deref before suggesting clone on move error ↵Michael Goulet-5/+0
in borrowck
2024-07-02Rewrite dropckBoxy-359/+241
2024-07-01introduce testsBoxy-0/+310
2024-04-11Suggest `.clone()` when moved while borrowedEsteban Küber-0/+5
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-28/+28
2024-01-02Adjust compiler tests for unused_tuple_struct_fields -> dead_codeJake Goulding-2/+2
2023-11-24Show number in error message even for one errorNilstrieb-12/+12
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-11-12Note about object lifetime defaults in does not live long enough errorNilstrieb-0/+12
This is a aspect of Rust that frequently trips up people who are not aware of it yet. This diagnostic attempts to explain what's happening and why the lifetime constraint, that was never mentioned in the source, arose.
2023-11-02review + add testslcnr-0/+41
2023-07-22Rollup merge of #112508 - compiler-errors:trait-sig-lifetime-sugg-ice, ↵Matthias Krüger-4/+4
r=cjgillot Tweak spans for self arg, fix borrow suggestion for signature mismatch 1. Adjust a suggestion message that was annoying me 2. Fix #112503 by recording the right spans for the `self` part of the `&self` 0th argument 3. Remove the suggestion for adjusting a trait signature on type mismatch, bc that's gonna probably break all the other impls of the trait even if it fixes its one usage :sweat_smile:
2023-07-10Do not set up wrong span for adjustmentsMichael Goulet-2/+2
2023-06-28Adjust inner span of implicit self ref argumentMichael Goulet-4/+4
2023-05-04Even more testsMichael Goulet-0/+280
2023-04-27Explicitly reject negative and reservation drop implsMichael Goulet-0/+33
2023-01-17Account for method call and indexing when looking for inner-most path in ↵Esteban Küber-0/+2
expression
2023-01-15Tweak E0597Esteban Küber-6/+26
CC #99430
2023-01-11Move /src/test to /testsAlbert Larsan-0/+1663