rust/compiler/rustc_infer/src, branch try-perfhttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=try-perf2025-10-02T08:09:33+00:00Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnr2025-10-02T08:09:33+00:00borsbors@rust-lang.org2025-10-02T08:09:33+00:00urn:sha1:4b9c62b4da3e17cee99d3d2052f1c576b188e2a8
Split Bound index into Canonical and Bound
See [#t-types/trait-system-refactor > perf `async-closures/post-mono-higher-ranked-hang.rs`](https://rust-lang.zulipchat.com/#narrow/channel/364551-t-types.2Ftrait-system-refactor/topic/perf.20.60async-closures.2Fpost-mono-higher-ranked-hang.2Ers.60/with/541535613) for context
Things compile and tests pass, but not sure if this actually solves the perf issue (edit: it does). Opening up this to do a perf (and maybe crater) run.
r? lcnr
Rollup merge of #147199 - jdonszelmann:outdated-comment-infctx, r=lcnr2025-10-01T12:15:01+00:00Stuart CookZalathar@users.noreply.github.com2025-10-01T12:15:01+00:00urn:sha1:d4a0f21290ac23337ef385d539c72896c3373509
remove outdated comment in (inner) `InferCtxt`
This comment seems to have stopped being relevant around 3 years ago after https://github.com/rust-lang/rust/commit/9f95c605f83bcf4c158ea4b3fd5a7abb825a4178. A map? what map? :P
r? `@lcnr`
remove outdated context (inner) infctx2025-09-30T19:56:06+00:00Jana Dönszelmannjana@donsz.nl2025-09-30T12:01:05+00:00urn:sha1:bdebd479acb692319ace3f88bf874ea365503199clone region obligations instead of taking in implied bounds hack2025-09-30T19:48:55+00:00Jana Dönszelmannjana@donsz.nl2025-09-30T11:29:39+00:00urn:sha1:80e598bb12297c5df04e5b380a4f51aa4dfc5d63Split Bound into Canonical and Bound2025-09-30T16:58:28+00:00jackh726git@jackhuey.me2025-09-28T23:04:55+00:00urn:sha1:d1bbd39c59523d7a5499816a9da200a5910f8b7freview2025-09-26T14:37:08+00:00lcnrrust@lcnr.de2025-09-26T14:37:03+00:00urn:sha1:c2e39c2f20c568b96fe89c751e65bbbe9116231callow method calls on opaques2025-09-26T14:33:15+00:00lcnrrust@lcnr.de2025-09-23T15:33:24+00:00urn:sha1:148fd9ad3c434c26a952e01e37c35aa26cb8315cAuto merge of #145993 - lcnr:allow-calling-opaques, r=BoxyUwU2025-09-18T13:49:53+00:00borsbors@rust-lang.org2025-09-18T13:49:53+00:00urn:sha1:4cd91ef8223ef54111d21aa9e9e71b3b26477dd3
`-Znext-solver` allow `ExprKind::Call` for not-yet defined opaques
Based on https://github.com/rust-lang/rust/pull/146329. Revival of rust-lang/rust#140496. See the comment on `OpaqueTypesJank`. I've used the following document while working on this https://hackmd.io/Js61f8PRTcyaiyqS-fH9iQ.
Fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/181. It does introduce one subtle footgun we may want to handle before stabilization, opened https://github.com/rust-lang/trait-system-refactor-initiative/issues/230 for that. Also cc https://github.com/rust-lang/trait-system-refactor-initiative/issues/231 for deref and index operations
r? `@BoxyUwU`
support calls on opaque types :<2025-09-18T10:58:38+00:00lcnrrust@lcnr.de2025-09-11T11:08:36+00:00urn:sha1:f4e19c68786211f3c3cf2593442629599678800aRemove ImplSubject2025-09-17T23:37:35+00:00Cameron Steffencam.steffen94@gmail.com2025-09-16T22:08:14+00:00urn:sha1:9ecca51bbe151c4ce0e374c46d1a0bfd1ec63d49