about summary refs log tree commit diff
path: root/tests/ui/traits
AgeCommit message (Expand)AuthorLines
2024-06-12Rollup merge of #125978 - fmease:cleanup-hir-ty-lowering-consolidate-assoc-it...Jubilee-2/+5
2024-06-11Remove DebugWithInfcxMichael Goulet-4/+4
2024-06-07Rollup merge of #125572 - mu001999-contrib:dead/enhance, r=pnkfelixMatthias Krüger-0/+1
2024-06-05Rollup merge of #126022 - lcnr:generalize-alias-bivariant, r=compiler-errorsMatthias Krüger-0/+20
2024-06-05Detect pub structs never constructed and unused associated constants in traitsr0cky-0/+1
2024-06-05bivariant alias: set `has_unconstrained_ty_var`lcnr-0/+20
2024-06-05Rollup merge of #125906 - compiler-errors:simplify-method-error-args, r=fmeaseJubilee-4/+5
2024-06-04Cleanup: HIR ty lowering: Consolidate assoc item access checkingLeón Orell Valerian Liehr-2/+5
2024-06-04Rollup merge of #125608 - oli-obk:subsequent_lifetime_errors, r=BoxyUwU许杰友 Jieyou Xu (Joe)-30/+62
2024-06-03Remove a bunch of redundant args from report_method_errorMichael Goulet-4/+5
2024-06-03Make WHERE_CLAUSES_OBJECT_SAFETY a regular object safety violationMichael Goulet-2/+1
2024-06-03Mark all extraneous generic args as errorsOli Scherer-24/+56
2024-06-03Hide some follow-up errorsOli Scherer-6/+6
2024-06-03Auto merge of #125778 - estebank:issue-67100, r=compiler-errorsbors-10/+10
2024-06-03tip for inaccessible traitsbohan-12/+3
2024-05-31Rollup merge of #125786 - compiler-errors:fold-item-bounds, r=lcnrMatthias Krüger-22/+8
2024-05-31Rollup merge of #125635 - fmease:mv-type-binding-assoc-item-constraint, r=com...Matthias Krüger-3/+3
2024-05-30Rename HIR `TypeBinding` to `AssocItemConstraint` and related cleanupLeón Orell Valerian Liehr-3/+3
2024-05-30Fold item bound before checking that they holdMichael Goulet-22/+8
2024-05-30update UI testslcnr-4/+4
2024-05-29Use parenthetical notation for `Fn` traitsEsteban Küber-10/+10
2024-05-28eagerly normalize when adding goalslcnr-2/+106
2024-05-28change selection test to run-passlcnr-1/+1
2024-05-27Auto merge of #125413 - lcnr:ambig-drop-region-constraints, r=compiler-errorsbors-0/+29
2024-05-25Rollup merge of #124080 - oli-obk:define_opaque_types10, r=compiler-errorsMatthias Krüger-25/+62
2024-05-24drop region constraints for ambiguous goalslcnr-0/+29
2024-05-24Structurally resolve before builtin_index in EUVMichael Goulet-0/+13
2024-05-23Support constraining opaque types while trait upcasting with bindersOli Scherer-10/+2
2024-05-23Allow defining opaque types during trait object upcasting.Oli Scherer-19/+2
2024-05-23Add more testsOli Scherer-6/+68
2024-05-21Auto merge of #124097 - compiler-errors:box-into-iter, r=WaffleLapkinbors-2/+2
2024-05-20Implement BOXED_SLICE_INTO_ITERMichael Goulet-2/+2
2024-05-20track cycle participants per entrylcnr-3/+31
2024-05-18Auto merge of #125077 - spastorino:add-new-fnsafety-enum2, r=jackh726bors-1/+1
2024-05-17Rename Unsafe to SafetySantiago Pastorino-1/+1
2024-05-16Report better WF obligation leaf obligations in new solverMichael Goulet-43/+23
2024-05-16Don't ICE because recomputing overflow goals during find_best_leaf_obligation...Michael Goulet-179/+81
2024-05-12Apply nitsMichael Goulet-0/+4
2024-05-12Try structurally resolveMichael Goulet-0/+15
2024-05-09analyse visitor: build proof tree in probelcnr-9/+79
2024-05-07Rollup merge of #124846 - compiler-errors:const-eval, r=lcnrMatthias Krüger-2/+10
2024-05-07Rollup merge of #124827 - lcnr:generalize-incomplete, r=compiler-errorsMatthias Krüger-0/+120
2024-05-07generalize hr alias: avoid unconstrainable infer varslcnr-0/+120
2024-05-07Don't ICE when we cannot eval a const to a valtree in the new solverMichael Goulet-2/+10
2024-05-06Rollup merge of #124809 - lcnr:prepopulate-opaques, r=compiler-errorsMatthias Krüger-46/+27
2024-05-06Rollup merge of #124759 - compiler-errors:impl-args, r=lcnrMatthias Krüger-0/+13
2024-05-06Use correct ImplSource for alias boundsMichael Goulet-0/+13
2024-05-06Rollup merge of #124808 - compiler-errors:super, r=lcnrMatthias Krüger-0/+27
2024-05-06Rollup merge of #124771 - compiler-errors:cand-has-failing-wc, r=lcnrMatthias Krüger-0/+44
2024-05-06Rollup merge of #124724 - compiler-errors:prefer-lower, r=lcnrMatthias Krüger-0/+3