about summary refs log tree commit diff
path: root/tests/ui/traits/non_lifetime_binders
AgeCommit message (Expand)AuthorLines
2025-07-04Fix pretty printing of placeholder typesMichael Goulet-21/+22
2025-06-16tests: unconstrain params in `non_lifetime_binders`David Wood-43/+64
2025-05-27Use more detailed spans in dyn compat errors within bodiesOli Scherer-20/+3
2025-05-26Deduplicate dyn compatibility violations due to coercionMichael Goulet-20/+2
2025-04-08UI tests: add missing diagnostic kinds where possibleVadim Petrochenkov-1/+1
2025-04-04Don't construct preds w escaping bound vars in diagnostic_hir_wf_checkMichael Goulet-0/+83
2025-02-14Trim suggestion parts to the subset that is purely additiveMichael Goulet-3/+3
2025-02-14Use underline suggestions for purely 'additive' replacementsMichael Goulet-9/+6
2025-02-10Show diff suggestion format on verbose replacementEsteban Küber-8/+12
2025-01-31Rollup merge of #135860 - fmease:compiler-mv-obj-save-dyn-compat-ii, r=jieyouxuMatthias Krüger-3/+3
2025-01-30move non_lifetime_binder testslcnr-0/+97
2025-01-26Compiler: Finalize dyn compatibility renamingLeón Orell Valerian Liehr-3/+3
2025-01-22Refactor dyn-compatibility error and suggestionsTaylor Cramer-18/+21
2024-12-24chore: fix typosoliveredget-1/+1
2024-10-29Remove detail from label/note that is already available in other noteEsteban Küber-2/+2
2024-10-10UI tests: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-7/+7
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-3/+3
2024-07-29Detect non-lifetime binder params shadowing item paramsMichael Goulet-0/+62
2024-07-20Just totally fully deny late-bound constsMichael Goulet-9/+60
2024-07-16Add `ConstArgKind::Path` and make `ConstArg` its own HIR nodeNoah Lev-30/+0
2024-03-14Consolidate WF for aliasesMichael Goulet-1/+22
2024-03-10Ignore tests w/ current/next revisions from compare-mode=next-solverMichael Goulet-4/+6
2024-02-27when defining opaques, require the hidden type to be well-formedlcnr-1/+15
2024-02-21Add a non-lifetime-binders testMichael Goulet-0/+60
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-20/+20
2024-01-30Provide more context on derived obligation error primary labelEsteban Küber-2/+2
2024-01-24Deduplicate more sized errors on call exprsEsteban Küber-7/+7
2024-01-13Add a simpler testMichael Goulet-0/+45
2024-01-13Make sure to instantiate placeholders correctly in old solverMichael Goulet-0/+49
2024-01-09Avoid silencing relevant follow-up errorsOli Scherer-1/+1
2024-01-01Deny defaults for higher-ranked generic parametersLeón Orell Valerian Liehr-7/+98
2023-12-26fallback `default` to `None` during ast-loweing for lifetime binderbohan-0/+30
2023-12-21Simple modification of diagnostic informationsurechen-0/+22
2023-11-24Show number in error message even for one errorNilstrieb-13/+13
2023-11-19Make regionck care about placeholders in outlives componentsMichael Goulet-3/+91
2023-11-06Only check predicates for late-bound non-lifetime vars in object candidate as...Michael Goulet-0/+19
2023-10-29On object safety error, mention new enum as alternativeEsteban Küber-0/+3
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-6/+6
2023-10-03non_lifetime_binders: fix ICE in lint opaque-hidden-inferred-boundLeón Orell Valerian Liehr-0/+27
2023-09-20Auto merge of #115486 - compiler-errors:dont-capture-late-pls, r=cjgillotbors-4/+4
2023-09-10Point out if a local trait has no implementationsMichael Goulet-0/+5
2023-09-05Correctly deny late-bound lifetimes from parent in anon consts and TAITsMichael Goulet-4/+4
2023-08-28Revert "Suggest using `Arc` on `!Send`/`!Sync` types"David Tolnay-1/+0
2023-08-16Don't ICE in is_trivially_sized when encountering late-bound self tyMichael Goulet-0/+30
2023-08-09Suggest using `Arc` on `!Send`/`!Sync` typesEsteban Kuber-0/+1
2023-06-26Account for late-bound vars from parent arg-position impl traitMichael Goulet-0/+28
2023-06-19Don't ICE on bound var in reject_fn_ptr_implsMichael Goulet-0/+40
2023-05-15Tweaks and a testMichael Goulet-0/+45
2023-05-12Note base types of coercionMichael Goulet-2/+1
2023-05-04Add test for #110557Michael Goulet-0/+60