summaryrefslogtreecommitdiff
path: root/tests/ui/traits
AgeCommit message (Expand)Author
2024-08-15Revert "Auto merge of #125915 - camelid:const-arg-refactor, r=BoxyUwU"Boxy
2024-08-03Revert "Rollup merge of #125572 - mu001999-contrib:dead/enhance, r=pnkfelix"Michael Goulet
2024-07-19Auto merge of #125915 - camelid:const-arg-refactor, r=BoxyUwUbors
2024-07-17Account for self ty aliasMichael Goulet
2024-07-17Mention that type parameters are used recursivelyMichael Goulet
2024-07-16Add `ConstArgKind::Path` and make `ConstArg` its own HIR nodeNoah Lev
2024-07-16Fix the issue of invalid suggestion for a reference of iteratoryukang
2024-07-16add test for issue 127590yukang
2024-07-12Gate the type length limit check behind a nightly flagMichael Goulet
2024-07-11Always use a colon in `//@ normalize-*:` headersZalathar
2024-07-09Auto merge of #127200 - fee1-dead-contrib:trait_def_const_trait, r=compiler-e...bors
2024-07-08Rollup merge of #120248 - WaffleLapkin:bonk-ptr-object-casts, r=compiler-erro...Matthias Krüger
2024-07-07Auto merge of #127172 - compiler-errors:full-can_eq-everywhere, r=lcnrbors
2024-07-06show fnsig's output when there is differenceyukang
2024-07-05Use verbose suggestion for changing arg typeEsteban Küber
2024-07-05Equate types instead of using `Unsize`Maybe Lapkin
2024-07-05Actually just make can_eq process obligations (almost) everywhereMichael Goulet
2024-07-05Process alias-relate obligations when proving receiver_is_validMichael Goulet
2024-07-04test blessingWaffle Lapkin
2024-07-04blessingsMaybe Waffle
2024-07-03Add `constness` to `TraitDef`Deadbeef
2024-07-03Auto merge of #125507 - compiler-errors:type-length-limit, r=lcnrbors
2024-07-03Rollup merge of #126403 - compiler-errors:better-type-errors, r=lcnrJacob Pratt
2024-07-02Actually report normalization-based type errors correctly for alias-relate ob...Michael Goulet
2024-07-02Re-implement a type-size based limitMichael Goulet
2024-07-02chore: remove duplicate wordshattizai
2024-06-27Tighten spans for async blocksMichael Goulet
2024-06-22Rollup merge of #126552 - fee1-dead-contrib:rmfx, r=compiler-errorsMatthias Krüger
2024-06-22Make `effects` an incomplete featureDeadbeef
2024-06-21Remove stray `.` from error messageEsteban Küber
2024-06-19Auto merge of #126671 - fmease:rollup-dmet4fi, r=fmeasebors
2024-06-19Auto merge of #125852 - bvanjoi:improve-tip-for-invisible-trait, r=compiler-e...bors
2024-06-19rustc_type_ir: Omit some struct fields from Debug outputLeón Orell Valerian Liehr
2024-06-16Rollup merge of #126127 - Alexendoo:other-trait-diag, r=pnkfelixJacob Pratt
2024-06-13Check that alias-relate terms are WF if reporting an error in alias-relateMichael Goulet
2024-06-12Rollup merge of #126142 - compiler-errors:trait-ref-split, r=jackh726Jubilee
2024-06-12Harmonize use of leaf and root obligation in trait error reportingMichael Goulet
2024-06-12Also passthrough for projection clausesMichael Goulet
2024-06-12better error message for normalizes-to ambiguitiesMichael Goulet
2024-06-12Walk into alias-eq nested goals even if normalization failsMichael Goulet
2024-06-12Rollup merge of #126075 - compiler-errors:remove-debugwithinfcx, r=lcnrGuillaume Gomez
2024-06-12Spell out other trait diagnosticAlex Macleod
2024-06-12Rollup merge of #125978 - fmease:cleanup-hir-ty-lowering-consolidate-assoc-it...Jubilee
2024-06-11Remove DebugWithInfcxMichael Goulet
2024-06-07Rollup merge of #125572 - mu001999-contrib:dead/enhance, r=pnkfelixMatthias Krüger
2024-06-05Rollup merge of #126022 - lcnr:generalize-alias-bivariant, r=compiler-errorsMatthias Krüger
2024-06-05Detect pub structs never constructed and unused associated constants in traitsr0cky
2024-06-05bivariant alias: set `has_unconstrained_ty_var`lcnr
2024-06-05Rollup merge of #125906 - compiler-errors:simplify-method-error-args, r=fmeaseJubilee
2024-06-04Cleanup: HIR ty lowering: Consolidate assoc item access checkingLeón Orell Valerian Liehr