summary refs log tree commit diff
path: root/tests/ui/traits
AgeCommit message (Expand)AuthorLines
2025-05-09ReviewMichael Goulet-1/+1
2025-05-09Only include associated type bounds for Self:Sized associated types if they a...Michael Goulet-3/+46
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-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
2025-02-14Use underline suggestions for purely 'additive' replacementsMichael Goulet-9/+6
2025-02-14Auto merge of #137010 - workingjubilee:rollup-g00c07v, r=workingjubileebors-0/+18
2025-02-13Rollup merge of #136951 - compiler-errors:clause-binder, r=lqdJubilee-0/+18
2025-02-14fallout :skull_emoji:lcnr-11/+64
2025-02-14eagerly prove WF when resolving fully qualified pathslcnr-0/+39
2025-02-12Rollup merge of #135841 - oli-obk:push-qxlnokwrkkym, r=compiler-errorsJacob Pratt-17/+15