about summary refs log tree commit diff
path: root/tests/ui/impl-trait/in-trait
AgeCommit message (Expand)AuthorLines
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
2024-10-16Stop inverting expectation in normalization errorsMichael Goulet-1/+1
2024-10-15Be better at reporting alias errorsMichael Goulet-15/+27
2024-10-15Make sure the alias is actually rigidMichael Goulet-5/+23
2024-10-10Rollup merge of #131475 - fmease:compiler-mv-obj-safe-dyn-compat-2, r=jieyouxuMatthias Krüger-16/+16
2024-10-10Add variances to RPITITsMichael Goulet-21/+36
2024-10-10Move ty::Error branch into super_combine_tysMichael Goulet-42/+4
2024-10-10UI tests: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-16/+16
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-8/+8
2024-08-24Rollup merge of #129429 - cjgillot:named-variance, r=compiler-errorsTrevor Gross-11/+13
2024-08-23Print the generic parameter along with the variance in dumps.Camille GILLOT-11/+13
2024-08-22Don't trigger refinement lint if predicates reference errorsMichael Goulet-19/+24
2024-08-17Bless test falloutMichael Goulet-3/+1
2024-08-10Differentiate between methods and associated functionsEsteban Küber-2/+2
2024-08-06Don't arbitrarily choose one upper bound for hidden captured regionMichael Goulet-0/+42