summary refs log tree commit diff
path: root/tests/ui/impl-trait/in-trait
AgeCommit message (Expand)AuthorLines
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
2024-03-14Consolidate WF for aliasesMichael Goulet-1/+18
2024-03-11Remove some unnecessary allow(incomplete_features)Michael Goulet-39/+15
2024-03-10Ignore tests w/ current/next revisions from compare-mode=next-solverMichael Goulet-0/+2
2024-03-08Stabilize associated type boundsMichael Goulet-2/+0
2024-03-08Don't ICE if we collect no RPITITs unless there are no unification errorsMichael Goulet-0/+85
2024-03-05Split refining_impl_trait lint into _reachable, _internal variantsTyler Mandry-7/+126
2024-03-05Uplift some feeding out of associated_type_for_impl_trait_in_impl and into qu...Michael Goulet-0/+18
2024-02-29Rollup merge of #121745 - compiler-errors:refining-impl-trait-deeply-norm, r=...Jacob Pratt-0/+20
2024-02-28Deeply normalize obligations in refining_impl_traitMichael Goulet-0/+20
2024-02-27Print RPITIT like an opaqueMichael Goulet-6/+6
2024-02-27rename RPITIT from opaque to syntheticMichael Goulet-8/+8
2024-02-24Rollup merge of #121435 - estebank:rpitit-static-119773, r=compiler-errorsMatthias Krüger-2/+28
2024-02-23Revert some `span_bug`s to `span_delayed_bug`.Nicholas Nethercote-0/+48
2024-02-22Account for RPITIT in E0310 explicit lifetime constraint suggestionEsteban Küber-2/+28
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-50/+50
2024-02-13Rollup merge of #120696 - estebank:issue-115405, r=oli-obkMatthias Krüger-0/+2
2024-02-12Properly handle `async` blocks and `fn`s in `if` exprs without `else`Esteban Küber-0/+2
2024-02-10Gracefully handle non-WF alias in assemble_alias_bound_candidates_recurMichael Goulet-0/+36
2024-02-07Update testsr0cky-1/+3
2024-02-01review comment: change wordingEsteban Küber-1/+1