summary refs log tree commit diff
path: root/tests/ui/traits
AgeCommit message (Expand)AuthorLines
2024-08-15Revert "Auto merge of #125915 - camelid:const-arg-refactor, r=BoxyUwU"Boxy-0/+30
2024-08-03Revert "Rollup merge of #125572 - mu001999-contrib:dead/enhance, r=pnkfelix"Michael Goulet-1/+0
2024-07-19Auto merge of #125915 - camelid:const-arg-refactor, r=BoxyUwUbors-30/+0
2024-07-17Account for self ty aliasMichael Goulet-2/+2
2024-07-17Mention that type parameters are used recursivelyMichael Goulet-11/+15
2024-07-16Add `ConstArgKind::Path` and make `ConstArg` its own HIR nodeNoah Lev-30/+0
2024-07-16Fix the issue of invalid suggestion for a reference of iteratoryukang-8/+0
2024-07-16add test for issue 127590yukang-0/+87
2024-07-12Gate the type length limit check behind a nightly flagMichael Goulet-8/+13
2024-07-11Always use a colon in `//@ normalize-*:` headersZalathar-4/+4
2024-07-09Auto merge of #127200 - fee1-dead-contrib:trait_def_const_trait, r=compiler-e...bors-11/+11
2024-07-08Rollup merge of #120248 - WaffleLapkin:bonk-ptr-object-casts, r=compiler-erro...Matthias Krüger-3/+18
2024-07-07Auto merge of #127172 - compiler-errors:full-can_eq-everywhere, r=lcnrbors-4/+23
2024-07-06show fnsig's output when there is differenceyukang-1/+1
2024-07-05Use verbose suggestion for changing arg typeEsteban Küber-28/+35
2024-07-05Equate types instead of using `Unsize`Maybe Lapkin-5/+7
2024-07-05Actually just make can_eq process obligations (almost) everywhereMichael Goulet-4/+0
2024-07-05Process alias-relate obligations when proving receiver_is_validMichael Goulet-0/+23
2024-07-04test blessingWaffle Lapkin-1/+1
2024-07-04blessingsMaybe Waffle-3/+16
2024-07-03Add `constness` to `TraitDef`Deadbeef-11/+11
2024-07-03Auto merge of #125507 - compiler-errors:type-length-limit, r=lcnrbors-16/+10
2024-07-03Rollup merge of #126403 - compiler-errors:better-type-errors, r=lcnrJacob Pratt-4/+19
2024-07-02Actually report normalization-based type errors correctly for alias-relate ob...Michael Goulet-4/+19
2024-07-02Re-implement a type-size based limitMichael Goulet-16/+10
2024-07-02chore: remove duplicate wordshattizai-1/+1
2024-06-27Tighten spans for async blocksMichael Goulet-1/+1
2024-06-22Rollup merge of #126552 - fee1-dead-contrib:rmfx, r=compiler-errorsMatthias Krüger-1/+12
2024-06-22Make `effects` an incomplete featureDeadbeef-1/+12
2024-06-21Remove stray `.` from error messageEsteban Küber-1/+1
2024-06-19Auto merge of #126671 - fmease:rollup-dmet4fi, r=fmeasebors-4/+4
2024-06-19Auto merge of #125852 - bvanjoi:improve-tip-for-invisible-trait, r=compiler-e...bors-12/+3
2024-06-19rustc_type_ir: Omit some struct fields from Debug outputLeón Orell Valerian Liehr-4/+4
2024-06-16Rollup merge of #126127 - Alexendoo:other-trait-diag, r=pnkfelixJacob Pratt-14/+14
2024-06-13Check that alias-relate terms are WF if reporting an error in alias-relateMichael Goulet-113/+7
2024-06-12Rollup merge of #126142 - compiler-errors:trait-ref-split, r=jackh726Jubilee-2/+12
2024-06-12Harmonize use of leaf and root obligation in trait error reportingMichael Goulet-2/+12
2024-06-12Also passthrough for projection clausesMichael Goulet-14/+9
2024-06-12better error message for normalizes-to ambiguitiesMichael Goulet-4/+4
2024-06-12Walk into alias-eq nested goals even if normalization failsMichael Goulet-7/+60
2024-06-12Rollup merge of #126075 - compiler-errors:remove-debugwithinfcx, r=lcnrGuillaume Gomez-4/+4
2024-06-12Spell out other trait diagnosticAlex Macleod-14/+14
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