rust/compiler/rustc_trait_selection/src/traits/query, branch 1.80.0 https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.80.0 2024-06-03T14:02:08+00:00 Nits and formatting 2024-06-03T14:02:08+00:00 Michael Goulet michael@errs.io 2024-06-03T13:27:48+00:00 urn:sha1:a41c44f21c1a6fd96eb8d68fbdb298610443cff5 Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_with_diagnostics 2024-06-03T13:27:52+00:00 Michael Goulet michael@errs.io 2024-06-02T22:36:11+00:00 urn:sha1:1e72c7f536bbdf3ed8a0071d28824c071c3722b5 Use ScrubbedTraitError in more places 2024-06-03T13:27:52+00:00 Michael Goulet michael@errs.io 2024-06-01T19:00:02+00:00 urn:sha1:94a524ed1163f4876544366586dc1b87deb13e95 Make TraitEngines generic over error 2024-06-03T13:27:52+00:00 Michael Goulet michael@errs.io 2024-06-01T18:12:34+00:00 urn:sha1:54b2b7d460fd0847508b781219d380231c4fee72 Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from Interner 2024-05-21T21:00:45+00:00 Michael Goulet michael@errs.io 2024-05-21T15:07:54+00:00 urn:sha1:1c8230ea3c54e3f020f1df75d77810e8a5689410 Auto merge of #125076 - compiler-errors:alias-term, r=lcnr 2024-05-13T22:20:43+00:00 bors bors@rust-lang.org 2024-05-13T22:20:43+00:00 urn:sha1:34582118afaf00b0eb2d209a90b181c7156b501c Split out `ty::AliasTerm` from `ty::AliasTy` Splitting out `AliasTerm` (for use in project and normalizes goals) and `AliasTy` (for use in `ty::Alias`) r? lcnr split out AliasTy -> AliasTerm 2024-05-13T15:59:42+00:00 Michael Goulet michael@errs.io 2024-05-13T14:00:38+00:00 urn:sha1:3bcdf3058ef3eaef5042661cf8301acfbcddce65 Remove `extern crate rustc_middle` from `rustc_trait_selection`. 2024-05-12T22:20:18+00:00 Nicholas Nethercote n.nethercote@gmail.com 2024-05-08T22:06:59+00:00 urn:sha1:4bf20b2b558289e9dcffd496890df116f98612c7 Lift `Lift` 2024-05-10T19:44:03+00:00 Michael Goulet michael@errs.io 2024-05-10T18:27:48+00:00 urn:sha1:5e606c0bde35564df43a82d7c6ae32ad700c009c Use ObligationCtxt in favor of TraitEngine in many places 2024-05-03T02:03:01+00:00 Michael Goulet michael@errs.io 2024-05-01T21:22:39+00:00 urn:sha1:d9eb5232b6fea1d902650727f71b4c1bbf69079a