rust/compiler/rustc_infer/src/traits, branch master https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=master 2025-09-15T09:02:12+00:00 Add documentation for select_where_possible and select_all_or_error 2025-09-15T09:02:12+00:00 tiif pekyuan@gmail.com 2025-09-15T09:02:12+00:00 urn:sha1:1c30399ceae2400e266660a8f98a7504c284fda1 Rollup merge of #142647 - compiler-errors:less-work-in-coherence, r=lcnr 2025-06-27T00:15:20+00:00 Michael Goulet michael@errs.io 2025-06-27T00:15:20+00:00 urn:sha1:25e239c193b3e22d0dc5e8e3eaebd66ed9b7374b [perf] Compute hard errors without diagnostics in impl_intersection_has_impossible_obligation First compute hard errors without diagnostics, then ambiguities with diagnostics since we need to know if any of them overflowed. Remove some glob imports from the type system 2025-06-25T15:35:16+00:00 Michael Goulet michael@errs.io 2025-06-17T17:55:06+00:00 urn:sha1:44254c8cd79810fb2ff575d88e75c979bb7f1fc4 Compute hard errors without diagnostics in impl_intersection_has_impossible_obligation 2025-06-25T15:32:08+00:00 Michael Goulet michael@errs.io 2025-06-17T21:35:11+00:00 urn:sha1:83044357930a7c55f8d429bd4cd7dcb7426d4b01 Use less rustc_type_ir in the compiler codebase 2025-05-02T07:37:06+00:00 Romain Perier romain.perier@gmail.com 2025-05-01T16:40:38+00:00 urn:sha1:6970813e78a1d0f4298859471aaafece5e674a33 This commit does the following: - Replaces use of rustc_type_ir by rustc_middle in rustc_infer. - The DelayedMap type is exposed by rustc_middle so everything can be accessed through rustc_middle in a coherent manner. - API-layer traits, like InferCtxtLike, Interner or inherent::* must be accessed via rustc_type_ir, not rustc_middle::ty. For this reason these are not reexported by rustc_middle::ty. - Replaces use of ty::Interner by rustc_type_ir::Interner in rustc_trait_selection Properly drain pending obligations for coroutines 2025-04-22T16:50:38+00:00 Michael Goulet michael@errs.io 2025-03-22T23:49:14+00:00 urn:sha1:169955f3be4659e486db9b7dabafdbcee18819a3 Derive Obligation's fold impls 2025-04-14T14:47:59+00:00 Michael Goulet michael@errs.io 2025-04-13T22:43:16+00:00 urn:sha1:13b4734e3102b4fd5ad99b98a8cc46744faf5d68 Obligation::as_goal 2025-03-23T18:18:47+00:00 Michael Goulet michael@errs.io 2025-03-22T22:09:16+00:00 urn:sha1:575f129faa5126869f11ef945276072b097a2b2a Fold visit into ty 2025-03-15T06:34:36+00:00 Michael Goulet michael@errs.io 2025-03-13T17:09:25+00:00 urn:sha1:e5a22203272ac83faa1422144078a5615eacbb76 Squash fold into ty 2025-03-15T06:34:36+00:00 Michael Goulet michael@errs.io 2025-03-13T16:59:55+00:00 urn:sha1:dc0cdfd75348ab39cf84448ff575d1b136f8a9bd