rust/compiler/rustc_hir_analysis/src/variance, branch 1.90.0https://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=1.90.02025-07-03T20:48:32+00:00compiler: inline 1-2 query provide fn in hir_analysis and hir_typeck2025-07-03T20:48:32+00:00Jubilee Youngworkingjubilee@gmail.com2025-07-03T17:52:56+00:00urn:sha1:f5fbb2c0a5f2026453a3fa4c46afaaa2c0092e1f
Many small indirections with 1-2 items actively hinders understanding.
Inlines various tiny submodule provides into
- hir_analysis::provide
- hir_analysis::check::provide
- hir_typeck::provide
Fix some var names2025-05-27T11:14:47+00:00Michael Gouletmichael@errs.io2025-05-24T17:41:09+00:00urn:sha1:5f3ae06db07adcd6885558aa1f33ec2711fe0651Rename unpack to kind2025-05-27T11:14:45+00:00Michael Gouletmichael@errs.io2025-05-24T12:07:32+00:00urn:sha1:29c3babd7c03a48b022663beb7ad39bb24bbef36Rollup merge of #139909 - oli-obk:or-patterns, r=BoxyUwU2025-04-29T16:28:22+00:00Trevor Grosst.gross35@gmail.com2025-04-29T16:28:22+00:00urn:sha1:a20fe8ff236c54cb32189761fd1db8f8db82053e
implement or-patterns for pattern types
These are necessary to represent `NonZeroI32`, as the range for that is `..0 | 1..`. The `rustc_scalar_layout_range_*` attributes avoided this by just implementing wraparound and having a single `1..=-1` range effectively. See https://rust-lang.zulipchat.com/#narrow/channel/481660-t-lang.2Fpattern-types/topic/.60or.20pattern.60.20representation.20in.20type.20system/with/504217694 for some background discussion
cc https://github.com/rust-lang/rust/issues/123646
r? `@BoxyUwU`
Add or-patterns to pattern types2025-04-28T07:50:18+00:00Oli Scherergithub333195615777966@oli-obk.de2025-02-27T09:46:46+00:00urn:sha1:b023856f29743a288727d13d0d1044b8e0d3f9f3Split out various pattern type matches into their own function2025-04-28T07:46:50+00:00Oli Scherergithub333195615777966@oli-obk.de2025-02-27T09:46:46+00:00urn:sha1:cb6d3715a5447da8c291aa5d83133376e5811751Remove `weak` alias terminology2025-04-24T10:59:20+00:00Boxyrust@boxyuwu.dev2025-04-24T10:31:33+00:00urn:sha1:bdfeb8f36bb2716eb8f5aca32ba4f81563a6818bAuto merge of #139552 - matthiaskrgr:rollup-b194mk8, r=matthiaskrgr2025-04-09T05:39:18+00:00borsbors@rust-lang.org2025-04-09T05:39:18+00:00urn:sha1:97c966bb40756903f8aa13995629128d157f6056
Rollup of 10 pull requests
Successful merges:
- #139494 (Restrict some queries by def-kind more)
- #139496 (Revert r-a changes of rust-lang/rust#139455)
- #139506 (add missing word in doc comment (part 2))
- #139515 (Improve presentation of closure signature mismatch from `Fn` trait goal)
- #139520 (compiletest maintenance: sort deps and drop dep on `anyhow`)
- #139523 (Rustc dev guide subtree update)
- #139526 (Fix deprecation note for std::intrinsics)
- #139528 (compiletest: Remove the `--logfile` flag)
- #139541 (Instantiate higher-ranked transmute goal w/ placeholders before emitting sub-obligations)
- #139547 (Update library tracking issue template to set S-tracking-unimplemented)
r? `@ghost`
`@rustbot` modify labels: rollup
clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`2025-04-08T02:51:41+00:00xizheyinxizheyin@smail.nju.edu.cn2025-04-08T02:51:41+00:00urn:sha1:c7272a6cbc999a187d564624594889532e47ffa0
Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn>
Restrict some queries by def-kind more2025-04-07T18:10:28+00:00Michael Gouletmichael@errs.io2025-04-07T18:06:21+00:00urn:sha1:14d1215719d4f06baa44831c5c22f2c7ef4cc687