rust/compiler/rustc_trait_selection/src/solve/fulfill, branch auto https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=auto 2025-09-18T10:58:38+00:00 support calls on opaque types :< 2025-09-18T10:58:38+00:00 lcnr rust@lcnr.de 2025-09-11T11:08:36+00:00 urn:sha1:f4e19c68786211f3c3cf2593442629599678800a Rollup merge of #142927 - compiler-errors:note-find-const, r=BoxyUwU 2025-06-27T00:15:22+00:00 Michael Goulet michael@errs.io 2025-06-27T00:15:22+00:00 urn:sha1:d712024aeec93f199029d2d761260a15c25b0201 Add note to `find_const_ty_from_env` Add a note to `find_const_ty_from_env` to explain why it has an `unwrap` which "often" causes ICEs. Also, uplift it into the new trait solver. This avoids needing to go through the interner to call this method which is otherwise an inherent method in the compiler. I can remove this part if desired. r? `@boxyuwu` Simplify API of solver a bit 2025-06-23T22:09:11+00:00 Michael Goulet michael@errs.io 2025-06-23T21:48:59+00:00 urn:sha1:abd15858a1feec5454d5a451f4ba9bdfc0fcd2f5 Add note to find_const_ty_from_env 2025-06-23T21:00:09+00:00 Michael Goulet michael@errs.io 2025-06-23T18:45:42+00:00 urn:sha1:00f369abc2656d129ac822f654a96f94bdbf963d Filter out universals and lifetimes from stalled_vars 2025-06-06T15:34:14+00:00 Michael Goulet michael@errs.io 2025-06-05T16:36:47+00:00 urn:sha1:8addb6f3be3cd166bf40919c766cde2efc19fbaa Don't rerun goals if none of its vars have changed 2025-05-26T10:10:03+00:00 Michael Goulet michael@errs.io 2025-05-25T10:17:33+00:00 urn:sha1:e2215a8ad9099c35df2de789efd9262c3fd59c65 Use MaybeCause::or to allow constraints from overflows if they are combined with ambiguity 2025-05-07T17:12:15+00:00 Michael Goulet michael@errs.io 2025-05-06T18:32:44+00:00 urn:sha1:a910329c671aea4342413ecd8f88f09e47f8b85a Use less rustc_type_ir in the compiler codebase 2025-04-30T14:42:33+00:00 Romain Perier romain.perier@gmail.com 2025-04-30T14:20:32+00:00 urn:sha1:ea7af1803fc0923ae68d7ffc440ca52c7e1e65d3 This commit does the following: - Replaces use of rustc_type_ir by rustc_middle - Removes the rustc_type_ir dependency - The DelayedSet type is exposed by rustc_middle so everything can be accessed through rustc_middle in a coherent manner. convert some `GenericArg` to `Term` 2025-04-26T02:05:31+00:00 lcnr rust@lcnr.de 2025-04-26T01:54:09+00:00 urn:sha1:855035b03860b00b6f8239e31beec0d3cb882db6 Auto merge of #138845 - compiler-errors:stall-generators, r=lcnr 2025-04-23T21:35:15+00:00 bors bors@rust-lang.org 2025-04-23T21:35:15+00:00 urn:sha1:fa58ce343ad498196d799a7381869e79938e952a Properly stall coroutine witnesses in new solver TODO: write description r? lcnr