rust/compiler/rustc_middle/src/ty/codec.rs, branch 1.80.0 https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.80.0 2024-06-05T21:25:38+00:00 Basic removal of `Ty` from places (boring) 2024-06-05T21:25:38+00:00 Boxy supbscripter@gmail.com 2024-06-03T00:10:24+00:00 urn:sha1:58feec9b85a18d26507dfe6d075fd128a1265888 Uplift binder 2024-05-21T21:00:45+00:00 Michael Goulet michael@errs.io 2024-05-20T16:57:07+00:00 urn:sha1:28ce5883210da1ed90cda9b7da3d0b16e2794e69 Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnr 2024-04-08T23:01:50+00:00 bors bors@rust-lang.org 2024-04-08T23:01:50+00:00 urn:sha1:b234e449443a49ab19ef6b712bf56cc65927d98f Pass list of defineable opaque types into canonical queries This eliminates `DefiningAnchor::Bubble` for good and brings the old solver closer to the new one wrt cycles and nested obligations. At that point the difference between `DefiningAnchor::Bind([])` and `DefiningAnchor::Error` was academic. We only used the difference for some sanity checks, which actually had to be worked around in places, so I just removed `DefiningAnchor` entirely and just stored the list of opaques that may be defined. fixes #108498 fixes https://github.com/rust-lang/rust/issues/116877 * [x] run crater - https://github.com/rust-lang/rust/pull/122077#issuecomment-2013293931 Eliminate `DefiningAnchor` now that is just a single-variant enum 2024-04-08T15:00:27+00:00 Oli Scherer git-spam-no-reply9815368754983@oli-obk.de 2024-03-07T10:29:11+00:00 urn:sha1:2f2350e57720112c61d393bc98720ee0a59074df Actually create ranged int types in the type system. 2024-04-08T12:02:19+00:00 Oli Scherer git-spam-no-reply9815368754983@oli-obk.de 2023-02-02T13:57:36+00:00 urn:sha1:84acfe86dec370028987c205e7ba32cc5796d9b0 cache type info for ParamEnv 2024-04-04T16:33:38+00:00 Lukas Markeffsky @ 2024-03-24T21:49:31+00:00 urn:sha1:fcc477fbd0871d8fab045bd7e9524172ab10e51c Remove MIR unsafe check 2024-04-03T08:50:12+00:00 Matthew Jasper mjjasper1@gmail.com 2024-02-27T11:57:52+00:00 urn:sha1:a277c901d95c5fcbb3dbd6608731eebb9e1a01ce This also remove safety information from MIR. Make `DefiningAnchor::Bind` only store the opaque types that may be constrained, instead of the current infcx root item. 2024-03-11T17:19:37+00:00 Oli Scherer git-spam-no-reply9815368754983@oli-obk.de 2024-02-29T12:21:20+00:00 urn:sha1:40d56095486558e8b3a9ff11a0f0298e29c3fd65 This makes `Bind` almost always be empty, so we can start forwarding it to queries, allowing us to remove `Bubble` entirely ctfe interpreter: extend provenance so that it can track whether a pointer is immutable 2023-12-07T16:46:36+00:00 Ralf Jung post@ralfj.de 2023-11-25T17:41:53+00:00 urn:sha1:cb863033423d895c0530ab749e4a3bca494b5c27 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.