rust/compiler/rustc_trait_selection/src/traits/util.rs, branch stablehttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=stable2025-07-20T17:45:01+00:00Consider param-env for fast path2025-07-20T17:45:01+00:00Michael Gouletmichael@errs.io2025-07-20T17:44:55+00:00urn:sha1:1e96d7a55304f8573b6dfeb5ccbdabdb407b89b9Auto merge of #144044 - fmease:rollup-kg413pt, r=fmease2025-07-17T05:24:30+00:00borsbors@rust-lang.org2025-07-17T05:24:30+00:00urn:sha1:f8f6997469237299c1d60814c7b9828602a1f8e4
Rollup of 15 pull requests
Successful merges:
- rust-lang/rust#142304 (tests: Add `RUST_BACKTRACE` and `-Cpanic` revisions to `panic-main.rs` test)
- rust-lang/rust#143388 (Various refactors to the LTO handling code)
- rust-lang/rust#143409 (Enable xgot feature for mips64 musl targets)
- rust-lang/rust#143592 (UWP: link ntdll functions using raw-dylib)
- rust-lang/rust#143595 (add `const_make_global`; err for `const_allocate` ptrs if didn't call)
- rust-lang/rust#143678 (Added error for invalid char cast)
- rust-lang/rust#143820 (Fixed a core crate compilation failure when enabling the `optimize_for_size` feature on some targets)
- rust-lang/rust#143829 (Trim `BorrowedCursor` API)
- rust-lang/rust#143851 (ci cleanup: rustdoc-gui-test now installs browser-ui-test)
- rust-lang/rust#143856 (Linting public reexport of private dependencies)
- rust-lang/rust#143895 (Dont collect assoc ty item bounds from trait where clause for host effect predicates)
- rust-lang/rust#143922 (Improve path segment joining)
- rust-lang/rust#143964 (Fix handling of SCRIPT_ARG in docker images)
- rust-lang/rust#144002 (Update poison.rs)
- rust-lang/rust#144016 (trait_sel: `MetaSized` always holds temporarily)
r? `@ghost`
`@rustbot` modify labels: rollup
trait_sel: `MetaSized` always holds temporarily2025-07-16T12:35:44+00:00David Wooddavid.wood2@arm.com2025-07-16T10:56:32+00:00urn:sha1:8d64937dc25eb2b01596a3581ec2660d8e81b9b2
As a temporary measure while a proper fix for
`tests/ui/sized-hierarchy/incomplete-inference-issue-143992.rs`
is implemented, make `MetaSized` obligations always hold. In effect,
temporarily reverting the `sized_hierarchy` feature. This is a small
change that can be backported.
Implement other logics2025-07-15T13:48:30+00:00tiifpekyuan@gmail.com2025-07-14T13:38:19+00:00urn:sha1:7356ff7517f4d95583f8fd6d631441893c87dd3fConsider polarity in sizedness fast path2025-07-02T00:37:40+00:00Michael Gouletmichael@errs.io2025-07-02T00:32:54+00:00urn:sha1:91c53c97a990e9d1ab87b2d932362a53236fba49trait_sel: skip elaboration of sizedness supertrait2025-06-16T23:04:36+00:00David Wooddavid.wood2@arm.com2025-03-17T10:24:56+00:00urn:sha1:607eb322a85c9c6dcc4af6999ecfc9d9d001be21
As a performance optimization, skip elaborating the supertraits of
`Sized`, and if a `MetaSized` obligation is being checked, then look for
a `Sized` predicate in the parameter environment. This makes the
`ParamEnv` smaller which should improve compiler performance as it avoids
all the iteration over the larger `ParamEnv`.
trait_sel: extend fast path with sized hierarchy2025-06-16T23:04:35+00:00David Wooddavid.wood2@arm.com2025-04-09T17:07:45+00:00urn:sha1:47abf2e144e26e3a4d4f445b8c27a3fd73768e9d
Extend the fast path for `Sized` traits to include constness and
`MetaSized`.
Uplift BoundVarReplacer2025-06-13T17:54:45+00:00Michael Gouletmichael@errs.io2025-06-12T22:48:21+00:00urn:sha1:6fa6d0e0977b1412724c74d962a1eba7c13c5c5aDon't use BTreeMap for mapped_consts2025-06-13T17:54:45+00:00Michael Gouletmichael@errs.io2025-06-12T22:24:39+00:00urn:sha1:86497e6376232901c4df8ec2d3372609dd2a1232re-use sized fast path2025-04-09T10:42:26+00:00David Wooddavid.wood2@arm.com2025-03-18T03:06:17+00:00urn: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.