rust/compiler/rustc_traits/src/evaluate_obligation.rs, branch beta https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=beta 2025-09-08T12:17:56+00:00 optimize `CanonicalVarValues::instantiate` 2025-09-08T12:17:56+00:00 lcnr rust@lcnr.de 2025-08-27T07:42:09+00:00 urn:sha1:f51458640840cb94c32f1e55431b1c855ca22e88 Consider param-env for fast path 2025-07-20T17:45:01+00:00 Michael Goulet michael@errs.io 2025-07-20T17:44:55+00:00 urn:sha1:1e96d7a55304f8573b6dfeb5ccbdabdb407b89b9 re-use sized fast path 2025-04-09T10:42:26+00:00 David Wood david.wood2@arm.com 2025-03-18T03:06:17+00:00 urn:sha1:72d17bfebbf5463dac1a7eb71c513b151b523e1f There's an existing fast path for the `type_op_prove_predicate` predicate, checking for trivially `Sized` types, which can be re-used when evaluating obligations within queries. This should improve performance, particularly in anticipation of new sizedness traits being added which can take advantage of this. Remove `extern crate tracing` from numerous crates. 2024-04-30T06:47:49+00:00 Nicholas Nethercote n.nethercote@gmail.com 2024-04-29T06:24:06+00:00 urn:sha1:6341935a13b903a563d7e8678a98f9974629e5a9 Fix `clippy::needless_borrow` in the compiler 2023-11-21T19:13:40+00:00 Nilstrieb 48135649+Nilstrieb@users.noreply.github.com 2023-11-21T19:07:32+00:00 urn:sha1:21a870515b18e5b2b90435d0f1a6d3089b5217ae `x clippy compiler -Aclippy::all -Wclippy::needless_borrow --fix`. Then I had to remove a few unnecessary parens and muts that were exposed now. Minimize `pub` usage in `source_map.rs`. 2023-11-02T08:35:00+00:00 Nicholas Nethercote n.nethercote@gmail.com 2023-11-02T03:10:12+00:00 urn:sha1:f405ce86c2a5daab5972876e5b7600afdc308643 Most notably, this commit changes the `pub use crate::*;` in that file to `use crate::*;`. This requires a lot of `use` items in other crates to be adjusted, because everything defined within `rustc_span::*` was also available via `rustc_span::source_map::*`, which is bizarre. The commit also removes `SourceMap::span_to_relative_line_string`, which is unused. Stop bubbling out hidden types from the eval obligation queries 2023-06-23T14:53:31+00:00 Oli Scherer git-spam-no-reply9815368754983@oli-obk.de 2023-02-10T10:26:26+00:00 urn:sha1:c996cfec8008c80c434cafbb930177e13cfbfe03 New trait solver is a property of inference context 2023-06-06T18:43:06+00:00 Michael Goulet michael@errs.io 2023-05-31T01:02:32+00:00 urn:sha1:e0acff796a9221bc4d6769e3db5bf158647ef0e1 Prepopulate opaques in canonical input 2023-05-25T03:21:22+00:00 Michael Goulet michael@errs.io 2023-05-16T23:51:23+00:00 urn:sha1:f3c9c216583d396e717e967becb42ece74651bd0 Move DefiningAnchor 2023-05-25T03:21:21+00:00 Michael Goulet michael@errs.io 2023-05-09T20:18:22+00:00 urn:sha1:a2d7ffc6353b65ff730dd1e7d8027b3751bf82aa