rust/compiler/rustc_middle/src/traits/solve, branch master https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=master 2024-07-12T10:30:19+00:00 enable fuzzing of `SearchGraph` 2024-07-12T10:30:19+00:00 lcnr rust@lcnr.de 2024-07-11T21:13:12+00:00 urn:sha1:15f770b1436c2be227c9338040e53d64f211fe63 fully move it into `rustc_type_ir` and make it independent of `Interner`. Make SearchGraph fully generic 2024-06-18T14:40:30+00:00 Michael Goulet michael@errs.io 2024-06-14T22:25:31+00:00 urn:sha1:dba414763362a15d56992c35728242300282f0ef remove proof tree formatter, make em shallow 2024-05-24T18:41:31+00:00 lcnr rust@lcnr.de 2024-05-24T18:23:24+00:00 urn:sha1:ebd9f355e2b34e36bd5b326c24a5c0eb0b40a371 move global cache lookup into fn 2024-05-20T20:40:02+00:00 lcnr rust@lcnr.de 2024-05-13T15:50:59+00:00 urn:sha1:ee0f20bb97ee834d79f69506a959ba9a78f16683 Uplift inspect into rustc_type_ir 2024-05-18T20:21:43+00:00 Michael Goulet michael@errs.io 2024-05-17T16:16:36+00:00 urn:sha1:0f528a4c08bbff98a4fa4d2dc20b23822e1a2dee Use a proper probe for shadowing impl 2024-05-14T03:58:33+00:00 Michael Goulet michael@errs.io 2024-05-07T15:09:21+00:00 urn:sha1:dbd2ca6478dca81dc4ed64f9dec09fb216d34f1a Record impl args in the InsepctCandiate rather than rematching during select 2024-05-06T18:17:22+00:00 Michael Goulet michael@errs.io 2024-05-06T15:24:40+00:00 urn:sha1:207b4b8e88d3fad105e3fe892c64cdf8d1ace252 Higher ranked goal source, do overflow handling less badly 2024-05-03T01:56:14+00:00 Michael Goulet michael@errs.io 2024-05-02T17:51:13+00:00 urn:sha1:34e91ece9033d0a354f1a42a67a69df9b46a27b0 Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-dead 2024-04-30T13:04:08+00:00 Matthias Krüger matthias.krueger@famsik.de 2024-04-30T13:04:08+00:00 urn:sha1:784316eadca2c58f6d79343e1eac6a7b667c8ea3 Remove many `#[macro_use] extern crate foo` items This requires the addition of more `use` items, which often make the code more verbose. But they also make the code easier to read, because `#[macro_use]` obscures where macros are defined. r? `@fee1-dead` Take proof trees by value in inspect goal 2024-04-29T21:06:34+00:00 Michael Goulet michael@errs.io 2024-04-29T15:16:21+00:00 urn:sha1:13825dcc156ee848dcbd57f3c118e864fc158c56