summary refs log tree commit diff
path: root/tests/ui/impl-trait/in-trait
AgeCommit message (Expand)AuthorLines
2025-05-22Do 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
2024-11-18Check use<..> in RPITIT for refinementMichael Goulet-0/+88
2024-11-02Auto merge of #132147 - estebank:long-types-2, r=davidtwcobors-1/+2
2024-11-02Add trait diff highlighting logic and use it in E0277Esteban Küber-1/+2
2024-11-01Use more minimized test.Camille GILLOT-38/+6
2024-11-01Account for late-bound depth when capturing all opaque lifetimes.Camille GILLOT-0/+45
2024-10-31Auto merge of #132377 - matthiaskrgr:rollup-3p1c6hs, r=matthiaskrgrbors-0/+13
2024-10-30Make sure type_param_predicates resolves correctly for RPITITMichael Goulet-0/+13
2024-10-30Promote crashes tests to ui.Camille GILLOT-0/+36
2024-10-30Remap impl-trait lifetimes on HIR instead of AST lowering.Camille GILLOT-6/+6
2024-10-29Remove detail from label/note that is already available in other noteEsteban Küber-6/+6
2024-10-27Move an impl-Trait check from AST validation to AST loweringLeón Orell Valerian Liehr-0/+33
2024-10-19Rollup merge of #131795 - compiler-errors:expectation, r=NadrierilMatthias Krüger-1/+1