rust/compiler/rustc_trait_selection/src/solve/mod.rs, branch 1.73.0https://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=1.73.02023-08-12T18:37:53+00:00normalize in `trait_ref_is_knowable` in new solver2023-08-12T18:37:53+00:00lcnrrust@lcnr.de2023-08-04T10:17:28+00:00urn:sha1:9eeaf1fd13aa5706b08963634eadfc26359b7a8bfix `make_ambiguous_response_no_constraints`2023-08-03T12:30:13+00:00lcnrrust@lcnr.de2023-08-03T12:30:13+00:00urn:sha1:ae3c353067f294d34ec61e674c7f5a9d58868458
we previously had incorrect universes in the query response.
lcnr's suggestions2023-07-24T15:37:40+00:00Michael Gouletmichael@errs.io2023-07-24T15:37:40+00:00urn:sha1:3ad3bb64d97cb3e6b596f5c29ec87a572037d31a
Co-authored-by: lcnr <rust@lcnr.de>Comment stuff in the new solver2023-07-23T19:30:52+00:00Michael Gouletmichael@errs.io2023-07-23T19:30:52+00:00urn:sha1:f3553691a89ffeb9af770051a4f7e7ac0d771406Add support for inherent projections2023-07-16T21:14:38+00:00Michael Gouletmichael@errs.io2023-07-04T18:28:10+00:00urn:sha1:085ae9e8b4f903073c1600061934d9e697e3a65eAuto merge of #113471 - compiler-errors:new-solver-norm-escaping, r=lcnr2023-07-14T21:14:30+00:00borsbors@rust-lang.org2023-07-14T21:14:30+00:00urn:sha1:ad963232d9b987d66a6f8e6ec4141f672b8b9900
Allow escaping bound vars during `normalize_erasing_regions` in new solver
Add `AllowEscapingBoundVars` to `deeply_normalize`, and use it in the new solver in the `query_normalize` routine.
Ideally, we'd make all `query_normalize` calls handle pass in `AllowEscapingBoundVars` individually, because really the only `query_normalize` call that needs `AllowEscapingBoundVars::Yes` is the one in `try_normalize_generic_arg_after_erasing_regions`, but I think that's kind of overkill. I am happy to be convinced otherwise, though.
r? `@lcnr`
Allow escaping bound vars during normalize_erasing_regions in new solver2023-07-14T15:03:21+00:00Michael Gouletmichael@errs.io2023-07-13T18:24:37+00:00urn:sha1:4bcca3294a2074fa07631c662067d5ccf31b8cfarefactor(rustc_middle): Substs -> GenericArg2023-07-14T12:27:35+00:00Mahdi Dibaieemdibaiee@pm.me2023-07-11T21:35:29+00:00urn:sha1:e55583c4b831c601452117a8eb20af59779ef582Re-format let-else per rustfmt update2023-07-13T01:49:27+00:00Mark Rousskovmark.simulacrum@gmail.com2023-07-13T01:49:27+00:00urn:sha1:cc907f80b95c6ec530c5ee1b05b044a468f07ecaRollup merge of #113324 - lcnr:const-evaluatable-goal, r=BoxyUwU2023-07-04T15:46:28+00:00Matthias Krügermatthias.krueger@famsik.de2023-07-04T15:46:28+00:00urn:sha1:7996908c4f8fbe2b99ab5225faa794fe02b3158b
implement `ConstEvaluatable` goals in new solver
this only supports stable const generics. `feature(generic_const_exprs)` needs to extend that function is non-trivial ways. Leaving this for someone else or some later date.
r? `@BoxyUwU`