rust/compiler/rustc_next_trait_solver, branch 1.78.0 https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.78.0 2024-03-04T15:39:59+00:00 Allow a way to add constructors for rustc_type_ir types 2024-03-04T15:39:59+00:00 Michael Goulet michael@errs.io 2024-02-27T20:22:13+00:00 urn:sha1:1eedca8bdf0020b673957bfbb2c787583f474128 always emit `AliasRelate` goals when relating aliases 2024-02-26T09:17:43+00:00 lcnr rust@lcnr.de 2024-02-26T09:17:43+00:00 urn:sha1:1b3164f5c9098c239bc23b3bfea657cc27ff80c7 Add `StructurallyRelateAliases` to allow instantiating infer vars with rigid aliases. Change `instantiate_query_response` to be infallible in the new solver. This requires canonicalization to not hide any information used by the query, so weaken universe compression. It also modifies `term_is_fully_unconstrained` to allow region inference variables in a higher universe. Move visitable bounds up into interner 2024-02-13T15:53:15+00:00 Michael Goulet michael@errs.io 2024-02-13T15:53:15+00:00 urn:sha1:7e80867f3c270f360a64294e421d4a9b010e28f8 Add assertions back to canonicalizer 2024-02-13T15:40:59+00:00 Michael Goulet michael@errs.io 2024-01-30T15:59:19+00:00 urn:sha1:edc5053352831c761bd0c30aa9998d1efdd37877 Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs 2024-02-06T02:22:58+00:00 Michael Goulet michael@errs.io 2024-01-24T18:01:56+00:00 urn:sha1:c567eddec2c628d4f13707866731e1b2013ad236 Remove movability from TyKind::Coroutine 2023-12-28T16:35:01+00:00 Michael Goulet michael@errs.io 2023-12-21T01:52:10+00:00 urn:sha1:fcb42b42d6fc078b15a34ed27b969fe2ba290989 Opportunistically resolve region var in canonicalizer 2023-12-15T05:02:37+00:00 Michael Goulet michael@errs.io 2023-12-15T05:02:32+00:00 urn:sha1:146e345d8b311150c968b5356908cbcab39ff1cf Make it not depend on nightly conditionally 2023-12-08T17:44:01+00:00 Michael Goulet michael@errs.io 2023-12-05T18:58:14+00:00 urn:sha1:80f240a539f3fa8c2892fccb0a0a54ca96589fc7 Feedback 2023-12-08T17:44:01+00:00 Michael Goulet michael@errs.io 2023-12-05T18:10:23+00:00 urn:sha1:1f5895b3e31e10fb9121c751b5aedc31dfe3d92f - Take more things by self, not &self - Clone more things - Rework namespacing so we can use `ty::` in the canonicalizer Uplift canonicalizer into new trait solver crate 2023-12-08T17:44:01+00:00 Michael Goulet michael@errs.io 2023-11-22T23:44:58+00:00 urn:sha1:cb41509601fc4059dd0c712034efa577a7ef46e3