about summary refs log tree commit diff
path: root/tests/ui/traits
AgeCommit message (Expand)AuthorLines
2025-04-02Rollup merge of #139200 - xizheyin:issue-139174, r=compiler-errorsStuart Cook-0/+64
2025-04-01Skip suggest impl or dyn when poly trait is not a real traitxizheyin-15/+0
2025-04-01Add ui test ui/traits/object/suggestion-trait-object-issue-139174.rsxizheyin-0/+79
2025-03-31increment depth of nested obligationslcnr-1/+1
2025-03-31Rollup merge of #138176 - compiler-errors:rigid-sized-obl, r=lcnrMatthias Krüger-0/+143
2025-03-30Remove attribute `#[rustc_error]`Vadim Petrochenkov-11/+2
2025-03-24Allow WellFormed goals to be returned from relating in new solverMichael Goulet-0/+48
2025-03-14Do not suggest using `-Zmacro-backtrace` for builtin macrosEsteban Küber-23/+0
2025-03-13Flesh out testsMichael Goulet-4/+101
2025-03-13Only prefer Sized candidates, and only if they certainly holdMichael Goulet-0/+46
2025-03-13Auto merge of #138249 - compiler-errors:auto-self, r=lcnrbors-28/+3
2025-03-13Auto merge of #138416 - Manishearth:rollup-fejor9p, r=Manishearthbors-2/+2
2025-03-12Rollup merge of #138357 - lcnr:goodbye-TypeVerifier-rarw, r=compiler-errorsManish Goregaokar-2/+2
2025-03-12Rollup merge of #137314 - lcnr:cycles-with-unknown-kind, r=compiler-errorsMatthias Krüger-119/+80
2025-03-11change `TypeChecker` to a MIR visitorlcnr-2/+2
2025-03-11Implement `#[define_opaque]` attribute for functions.Oli Scherer-24/+36
2025-03-09Rollup merge of #136968 - oli-obk:bye-bye, r=compiler-errorsMatthias Krüger-99/+23
2025-03-09Do not register `Self: AutoTrait` when confirming auto traitMichael Goulet-28/+3
2025-03-06Rollup merge of #137764 - compiler-errors:always-applicable-negative-impl, r=...Michael Goulet-0/+98
2025-03-06Rollup merge of #137637 - compiler-errors:dyn-cast-from-dyn-star, r=oli-obkMichael Goulet-0/+19
2025-03-05Rollup merge of #137728 - Darksonn:no-tuple-unsize, r=oli-obk许杰友 Jieyou Xu (Joe)-6/+0
2025-03-05keep inductive cycles as ambig in coherencelcnr-0/+32
2025-03-05change definitely non-productive cycles to errorlcnr-119/+48
2025-03-04Make rustdoc tests use always applicable negative auto implsMichael Goulet-0/+98
2025-03-04tests: remove explicit long type filename hash normalization from some ui tests许杰友 Jieyou Xu (Joe)-4/+2
2025-03-01Check dyn flavor before registering upcast goal on wide pointer cast in MIR t...Michael Goulet-0/+19
2025-02-28add test using only trait boundslcnr-0/+48
2025-02-28reviewlcnr-2/+10
2025-02-28add test for newly supported behaviorlcnr-0/+43
2025-02-28normalizing where-clauses is also coinductive, add testslcnr-2/+142
2025-02-28remove useless testslcnr-238/+0
2025-02-27Delete tuple unsizingAlice Ryhl-6/+0
2025-02-27require trait impls to have matching const stabilities as the traitsDeadbeef-1/+100
2025-02-26Rollup merge of #137613 - davidtwco:const-traits-variances, r=compiler-errorsLeón Orell Valerian Liehr-0/+21
2025-02-26Rollup merge of #137604 - davidtwco:host-effect-resolve-vars, r=compiler-errorsLeón Orell Valerian Liehr-0/+36
2025-02-25Don't require method impls for methods with `Self:Sized` bounds for impls for...Oli Scherer-11/+51
2025-02-24Consolidate and rework CoercePointee and DispatchFromDyn errorsMichael Goulet-2/+2
2025-02-24hir_analysis: skip self type of host effect predsDavid Wood-3/+2
2025-02-24tests: add variance test for const traitsDavid Wood-0/+22
2025-02-24trait_sel: resolve vars in host effectsDavid Wood-0/+36
2025-02-21Do not deduplicate list of associated types provided by dyn principalMichael Goulet-3/+145
2025-02-20Turn order dependent trait objects future incompat warning into a hard errorOli Scherer-99/+23
2025-02-19Rollup merge of #137232 - estebank:from-residual-note, r=petrochenkovMatthias Krüger-3/+4
2025-02-19Rollup merge of #137059 - xizheyin:issue-136827, r=davidtwcoMatthias Krüger-2/+2
2025-02-18Don't mention `FromResidual` on bad `?`Esteban Küber-3/+4
2025-02-17Deeply normalize associated type bounds before proving themMichael Goulet-22/+32
2025-02-15fix: Alloc new errorcode E0803 for E0495xizheyin-2/+2
2025-02-14Rollup merge of #136958 - compiler-errors:additive-replacmeent, r=estebankMatthias Krüger-21/+14
2025-02-14Trim suggestion parts to the subset that is purely additiveMichael Goulet-7/+7
2025-02-14Consider add-prefix replacements tooMichael Goulet-12/+8