about summary refs log tree commit diff
path: root/tests/ui/impl-trait/in-trait
AgeCommit message (Expand)AuthorLines
2025-08-22On E0277, point at type that doesn't implement boundEsteban Küber-1/+1
2025-08-19bless tests with new lint messagesKarol Zwolak-4/+4
2025-07-13compute all rpitit of a traitbohan-1/+35
2025-07-10Make `Diag::multipart_suggestions` always verboseEsteban Küber-3/+6
2025-07-07consider nested cases for duplicate RPITITbohan-1/+138
2025-07-06distinguish the duplicate item of rpititbohan-0/+83
2025-06-30Unconditionally run `check_item_type` on all itemsOli Scherer-47/+92
2025-06-27Report infer ty errors during hir ty loweringOli Scherer-1/+1
2025-06-22Implement DesugaringKind::FormatLiteralmejrs-5/+2
2025-05-27Use more detailed spans in dyn compat errors within bodiesOli Scherer-4/+4
2025-05-26Deduplicate dyn compatibility violations due to coercionMichael Goulet-20/+1
2025-05-23Do not try to confirm non-dyn compatible methodMichael Goulet-37/+1
2025-05-20Do not call name() on rpitit assoc_itemSantiago Pastorino-0/+34
2025-05-05Auto merge of #140453 - Zoxc:next-disambiguator, r=oli-obkbors-12/+12
2025-04-29Remove global `next_disambiguator` state and handle it with a `DisambiguatorS...John Kåre Alsaker-12/+12
2025-04-28Do not compute type_of for impl item if impl where clauses are unsatisfiedMichael Goulet-0/+32
2025-04-25Don't use item name to look up associated item from trait itemMichael Goulet-0/+49
2025-04-20Don't compute name of associated item if it's an RPITITMichael Goulet-0/+62
2025-04-15Don't compute name of associated item if it's an RPITITMichael Goulet-0/+21
2025-04-14add RPITIT tests: method compat auto trait leakagelcnr-0/+224
2025-04-14do not leak auto traits in item boundslcnr-0/+3
2025-04-11Rollup merge of #139662 - nnethercote:tweak-DefPathData, r=compiler-errorsJacob Pratt-6/+6
2025-04-11Change how anonymous associated types are printed.Nicholas Nethercote-6/+6
2025-04-11Improve `AssocItem::descr`.Nicholas Nethercote-4/+4
2025-04-08UI tests: add missing diagnostic kinds where possibleVadim Petrochenkov-8/+8
2025-03-23Stabilize precise_capturing_in_traitsMichael Goulet-8/+6
2025-03-03Do not recover missing lifetime with random in-scope lifetimeMichael Goulet-37/+7
2025-02-21More sophisticated span trimmingMichael Goulet-12/+8
2025-02-17Deeply normalize associated type bounds before proving themMichael Goulet-0/+6
2025-02-10Show diff suggestion format on verbose replacementEsteban Küber-37/+58
2025-02-04Fix rustc_hidden_type_of_opaques for RPITITs with no default bodyMichael Goulet-0/+23
2025-02-01Rollup merge of #135900 - compiler-errors:derive-wf, r=lcnrMatthias Krüger-0/+5
2025-01-31Auto merge of #136350 - matthiaskrgr:rollup-6eqfyvh, r=matthiaskrgrbors-8/+8
2025-01-31Manually walk into WF obligations in BestObligation proof tree visitorMichael Goulet-0/+5
2025-01-30Filter out RPITITs when suggesting unconstrained assoc type on too many genericsMichael Goulet-0/+31
2025-01-26Compiler: Finalize dyn compatibility renamingLeón Orell Valerian Liehr-8/+8
2025-01-22Refactor dyn-compatibility error and suggestionsTaylor Cramer-48/+56
2025-01-04Rollup merge of #135055 - compiler-errors:rpitit-infer-in-stricter-impl, r=es...Matthias Krüger-38/+61
2025-01-03Do not project when there are unconstrained impl paramsMichael Goulet-10/+2
2025-01-03Report impl has stricter requirements even when RPITIT inference gets in the wayMichael Goulet-38/+61
2024-12-14Rollup merge of #134181 - estebank:trim-render, r=oli-obkMatthias Krüger-9/+0
2024-12-12Tweak multispan renderingEsteban Küber-9/+0
2024-12-10Don't check RPITITs that are Self:Sized for PointerLikeMichael Goulet-0/+13
2024-12-07Mention type parameter in more cases and don't suggest ~const bound already t...Esteban Küber-5/+5
2024-12-07Use trait name instead of full constraint in suggestion messageEsteban Küber-5/+5
2024-12-07reword trait bound suggestion message to include the boundsEsteban Küber-5/+5
2024-12-02Assert that obligations are empty before deeply normalizingMichael Goulet-2/+2
2024-11-30Move refinement check out of compare_impl_itemMichael Goulet-0/+26
2024-11-24Actually use placeholder regions for trait method late bound regions in colle...Michael Goulet-14/+67
2024-11-22Stabilize the 2024 editionEric Huss-1/+1