about summary refs log tree commit diff
path: root/tests/ui/impl-trait
AgeCommit message (Expand)AuthorLines
2024-03-06Auto merge of #121679 - lcnr:opaque-wf-check-2, r=oli-obkbors-20/+64
2024-03-03Use root obligation on E0277 for some casesEsteban Küber-1/+0
2024-03-02Rollup merge of #121731 - oli-obk:eager_opaque_checks, r=compiler-errorsGuillaume Boisseau-2/+35
2024-02-29Rollup merge of #121669 - nnethercote:count-stashed-errs-again, r=estebankGuillaume Gomez-0/+22
2024-02-29Rollup merge of #121745 - compiler-errors:refining-impl-trait-deeply-norm, r=...Jacob Pratt-0/+20
2024-02-29Overhaul how stashed diagnostics work, again.Nicholas Nethercote-0/+22
2024-02-28Deeply normalize obligations in refining_impl_traitMichael Goulet-0/+20
2024-02-28test that fudging with opaque types is the same in the new solverOli Scherer-2/+35
2024-02-27Print RPITIT like an opaqueMichael Goulet-6/+6
2024-02-27rename RPITIT from opaque to syntheticMichael Goulet-8/+8
2024-02-27when defining opaques, require the hidden type to be well-formedlcnr-36/+39
2024-02-27wf-check RPITslcnr-0/+41
2024-02-26update testslcnr-9/+10
2024-02-24Rollup merge of #121435 - estebank:rpitit-static-119773, r=compiler-errorsMatthias Krüger-2/+28
2024-02-23Rollup merge of #121480 - nnethercote:fix-more-121208-fallout, r=lcnrMatthias Krüger-0/+48
2024-02-23Auto merge of #120730 - estebank:confusable-api, r=oli-obkbors-12/+38
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-22Fix rebaseEsteban Küber-0/+2
2024-02-22Deduplicate some logic and reword outputEsteban Küber-6/+6
2024-02-22Tweak wording of "implemented trait isn't imported" suggestionEsteban Küber-6/+6
2024-02-22Consider methods from traits when suggesting typosEsteban Küber-6/+30
2024-02-22change error messages to be incorrect, but more helpfullcnr-2/+2
2024-02-22do not use <: in subtyping overflow msglcnr-2/+2
2024-02-22overflow errors: change source to a concrete enumlcnr-18/+9
2024-02-22freshen: resolve root varslcnr-7/+32
2024-02-22remove `sub_relations` from infcx, recompute in diagnosticslcnr-10/+5
2024-02-22Overhaul the handling of errors at the top-level.Nicholas Nethercote-2/+0
2024-02-20Rollup merge of #121319 - compiler-errors:err, r=oli-obkNilstrieb-47/+40
2024-02-19return ty::Error when equating ty::ErrorMichael Goulet-47/+40
2024-02-19Auto merge of #121211 - lcnr:nll-relate-handle-infer, r=BoxyUwUbors-14/+1
2024-02-17use `instantiate_ty_var` in nlllcnr-14/+1
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-264/+264
2024-02-14Continue compilation even if inherent impl checks failOli Scherer-41/+110
2024-02-14Auto merge of #120847 - oli-obk:track_errors9, r=compiler-errorsbors-5/+79
2024-02-14Continue compilation after check_mod_type_wf errorsOli Scherer-5/+79
2024-02-14Rollup merge of #120530 - trevyn:issue-116434, r=compiler-errorsOli Scherer-1/+1
2024-02-13Rollup merge of #120549 - lcnr:errs-showcase, r=compiler-errorsMatthias Krüger-4/+29
2024-02-13Rollup merge of #120696 - estebank:issue-115405, r=oli-obkMatthias Krüger-0/+2
2024-02-13use alias-relate to structurally normalize in the solverlcnr-4/+29
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-09Be less confident when `dyn` suggestion is not checked for object safetytrevyn-1/+1
2024-02-09Rollup merge of #113671 - oli-obk:normalize_weak_tys, r=petrochenkovMatthias Krüger-33/+1
2024-02-08Continue to borrowck even if there were previous errorsOli Scherer-7/+91
2024-02-07Stop using `hir_ty_to_ty` in rustc_privacyOli Scherer-33/+1
2024-02-07Update testsr0cky-3/+25
2024-02-06Rollup merge of #120520 - nnethercote:rename-good-path, r=oli-obkMatthias Krüger-1/+1
2024-02-05Split `Level::DelayedBug` in two.Nicholas Nethercote-1/+1
2024-02-01review comment: change wordingEsteban Küber-1/+1