about summary refs log tree commit diff
path: root/tests/ui/impl-trait/in-trait
AgeCommit message (Expand)AuthorLines
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
2024-07-22Revert suggestion verbosity changeEsteban Küber-18/+9
2024-07-22Change suggestion message wordingEsteban Küber-3/+3
2024-07-22Use verbose suggestion for "wrong # of generics"Esteban Küber-9/+18
2024-07-17Remove invalid further restricting for type boundyukang-4/+0
2024-07-06Don't try to label ObligationCauseCode::CompareImplItem for an RPITIT, since ...Michael Goulet-0/+224
2024-07-05Use verbose suggestion for changing arg typeEsteban Küber-20/+26
2024-06-26Auto merge of #120924 - xFrednet:rfc-2383-stabilization-party, r=Urgau,blyxyasbors-24/+7
2024-06-25delay bug in RPITIT refinement checking with resolution errorsRémy Rakic-0/+39
2024-06-25RFC 2383: Stabilize `lint_reasons` :tada:xFrednet-24/+7
2024-05-29Stop proving outlives constraints on regions we already reported errors onOli Scherer-15/+4
2024-05-16Report better WF obligation leaf obligations in new solverMichael Goulet-3/+6
2024-05-06borrowck: more eagerly prepopulate opaqueslcnr-0/+3
2024-04-21also remap RPITITs nested in other types back to their opaquesLukas Markeffsky-0/+4
2024-04-04Rollup merge of #123218 - compiler-errors:synthetic-hir-parent, r=petrochenkovMatthias Krüger-0/+38
2024-04-03Tests for getting parent of synthetic HIRMichael Goulet-0/+38
2024-04-03Stop chopping off args for no reasonMichael Goulet-1/+19
2024-03-28check RPITs for invalid argsAli MJ Al-Nasrawy-2/+12
2024-03-24add test for ICE: no errors encountered even though delay_span_bug issued, e...Matthias Krüger-0/+35
2024-03-22Delay a bug if no RPITITs were foundLeón Orell Valerian Liehr-17/+71
2024-03-20Bless test fallout (duplicate diagnostics)Michael Goulet-1/+10
2024-03-19Auto merge of #122055 - compiler-errors:stabilize-atb, r=oli-obkbors-2/+0
2024-03-16Rollup merge of #121720 - tmandry:split-refining, r=compiler-errorsLeón Orell Valerian Liehr-7/+126
2024-03-15Auto merge of #122341 - compiler-errors:alias-wfness, r=lcnrbors-1/+18
2024-03-14Ensure RPITITs are created before def-id freezingMichael Goulet-0/+22