rust/compiler/rustc_trait_selection/src/traits/auto_trait.rs, branch stablehttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=stable2025-07-31T10:04:51+00:00Overhaul `Constraint`.2025-07-31T10:04:51+00:00Nicholas Nethercoten.nethercote@gmail.com2025-07-25T10:34:36+00:00urn:sha1:066a973312066b792c5de4b41b92dcb437f22bac
This commit changes it to store a `Region` instead of a `RegionVid` for the `Var` cases:
- We avoid having to call `Region::new_var` to re-create `Region`s from
`RegionVid`s in a few places, avoiding the interning process, giving a
small perf win. (At the cost of the type allowing some invalid
combinations of values.)
- All the cases now store two `Region`s, so the commit also separates
the `ConstraintKind` (a new type) from the `sub` and `sup` arguments
in `Constraint`.
Implement other logics2025-07-15T13:48:30+00:00tiifpekyuan@gmail.com2025-07-14T13:38:19+00:00urn:sha1:7356ff7517f4d95583f8fd6d631441893c87dd3fRename2025-05-26T08:48:19+00:00Michael Gouletmichael@errs.io2025-05-26T08:36:17+00:00urn:sha1:9d742eea252f25a7b6719618cc154074dba16063Avoid obligation construction dance with query region constraints2025-05-26T08:28:45+00:00Michael Gouletmichael@errs.io2025-05-22T18:55:49+00:00urn:sha1:3efd885927958ec8af33fbd1fa2da3d62bbae108clean 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>
Move outlives env computation into methods2025-01-28T18:55:03+00:00Michael Gouletmichael@errs.io2025-01-25T04:26:32+00:00urn:sha1:48b7e38c0607e856dbbb932e60ecc85e45a1427dnit: Remove redundant function2024-12-26T17:35:07+00:00Michael Gouletmichael@errs.io2024-12-26T17:35:07+00:00urn:sha1:d6c5a6bd3adcc5bb5f077818432a5e3efb224ec0no more Reveal :(2024-11-23T12:52:54+00:00lcnrrust@lcnr.de2024-11-20T10:31:49+00:00urn:sha1:319843d8cd84ee1ec753f836ce3773d44fe0764brustdoc: yeet `TypingEnv::from_param_env`2024-11-19T17:35:41+00:00lcnrrust@lcnr.de2024-11-19T17:07:55+00:00urn:sha1:4813fda2e6d89c948c56685e83c1dcb90ed30f5dConsolidate type system const evaluation under `traits::evaluate_const`2024-11-12T02:54:03+00:00Boxyrust@boxyuwu.dev2024-11-12T02:54:03+00:00urn:sha1:bea0148ac62758a99dcc2ac2cc2efedacb8881bf
mew