rust/compiler/rustc_middle/src/query, branch 1.69.0 https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.69.0 2023-03-03T07:39:00+00:00 Match unmatched backticks in compiler/ that are part of rustdoc 2023-03-03T07:39:00+00:00 est31 MTest31@outlook.com 2023-03-03T03:10:46+00:00 urn:sha1:ff2c609d662f0ffae9aafa6ff9f60441473e958e Make associated_item_def_ids for traits use an unstable option to also return associated types for RPITITs 2023-03-01T15:56:39+00:00 Santiago Pastorino spastorino@gmail.com 2023-02-28T16:05:37+00:00 urn:sha1:811a1cabda19ea4d6c6636e43dc760a3fcc685fd Add opt_rpitit_info query 2023-03-01T15:56:38+00:00 Santiago Pastorino spastorino@gmail.com 2023-02-28T21:27:26+00:00 urn:sha1:5295de1694c07fe47db112468a08098f930fcf53 Rollup merge of #108505 - Nilstrieb:further-unify-validity-intrinsics, r=michaelwoerister 2023-03-01T00:21:57+00:00 Matthias Krüger matthias.krueger@famsik.de 2023-03-01T00:21:57+00:00 urn:sha1:5af16c1655f3f674064ecdabbbe24205cdb5f04d Further unify validity intrinsics Also merges the inhabitedness check into the query to further unify the code paths. Depends on #108364 Auto merge of #108487 - cjgillot:no-typeck-mir, r=oli-obk 2023-02-27T21:48:10+00:00 bors bors@rust-lang.org 2023-02-27T21:48:10+00:00 urn:sha1:6290ae92b2df2bfff09abdcb80a3aa483692bab6 Avoid invoking typeck from borrowck This PR attempts to reduce direct dependencies between typeck and MIR-related queries. The goal is to have all the information transit either through THIR or through dedicated queries that avoid depending on the whole `TypeckResults`. In a first commit, we store the type information that MIR building requires into THIR. This avoids edges between mir_built and typeck. In the second and third commit, we wrap informations around closures (upvars, kind origin and user-provided signature) to avoid borrowck depending on typeck information. There should be a single remaining borrowck -> typeck edge in the good path, due to inline consts. Rollup merge of #108363 - cjgillot:unused-crate, r=WaffleLapkin 2023-02-27T17:48:49+00:00 Matthias Krüger matthias.krueger@famsik.de 2023-02-27T17:48:49+00:00 urn:sha1:660f184966c84983570b113d3ce99124e0180962 Move the unused extern crate check back to the resolver. It doesn't have anything to do in `rustc_hir_typeck`. Unify all validity check intrinsics 2023-02-27T13:30:44+00:00 Nilstrieb 48135649+Nilstrieb@users.noreply.github.com 2023-02-26T21:50:19+00:00 urn:sha1:5f593da4e6976fe27f7cd31ce0fb9a9293b3a00b Also merges the inhabitedness check into the query to further unify the code paths. Wrap more into into closure_typeinfo query. 2023-02-26T10:30:27+00:00 Camille GILLOT gillot.camille@gmail.com 2023-02-25T22:51:57+00:00 urn:sha1:0915d55d871e16b2fcb2fcf2759cd2b649b014e7 Access upvars through a query. 2023-02-26T10:30:27+00:00 Camille GILLOT gillot.camille@gmail.com 2022-10-25T17:59:18+00:00 urn:sha1:7dcc74eee5584639c182aecdfe80a7f5369c5b69 Unify validity checks into a single query 2023-02-23T18:42:36+00:00 Nilstrieb 48135649+Nilstrieb@users.noreply.github.com 2023-02-22T20:51:29+00:00 urn:sha1:025d2a147ff3dcde8f00ad5bc43b446837bd0240 Previously, there were two queries to check whether a type allows the 0x01 or zeroed bitpattern. I am planning on adding a further initness to check, truly uninit for MaybeUninit, which would make this three queries. This seems overkill for such a small feature, so this PR unifies them into one.