| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-12-30 | fix a couple nits | Rémy Rakic | -1/+1 | |
| - remove unneeded type ascription - fix variable name - fix typo in comment - fix `var_origins` var and function name: these are `VarInfos` | ||||
| 2024-12-26 | nit: Remove redundant function | Michael Goulet | -4/+0 | |
| 2024-12-22 | Begin to implement type system layer of unsafe binders | Michael Goulet | -0/+1 | |
| 2024-12-20 | remove non-borrowck member constraints | lcnr | -353/+5 | |
| 2024-12-18 | Re-export more `rustc_span::symbol` things from `rustc_span`. | Nicholas Nethercote | -4/+2 | |
| `rustc_span::symbol` defines some things that are re-exported from `rustc_span`, such as `Symbol` and `sym`. But it doesn't re-export some closely related things such as `Ident` and `kw`. So you can do `use rustc_span::{Symbol, sym}` but you have to do `use rustc_span::symbol::{Ident, kw}`, which is inconsistent for no good reason. This commit re-exports `Ident`, `kw`, and `MacroRulesNormalizedIdent`, and changes many `rustc_span::symbol::` qualifiers in `compiler/` to `rustc_span::`. This is a 200+ net line of code reduction, mostly because many files with two `use rustc_span` items can be reduced to one. | ||||
| 2024-12-17 | `fn member_constraint` to `add_member_constraint` | lcnr | -4/+4 | |
| 2024-12-02 | Assert that obligations are empty before deeply normalizing | Michael Goulet | -0/+2 | |
| 2024-11-28 | support revealing defined opaque post borrowck | lcnr | -5/+19 | |
| 2024-11-28 | uplift fold_regions to rustc_type_ir | lcnr | -4/+4 | |
| 2024-11-23 | Auto merge of #133242 - lcnr:questionable-uwu, r=compiler-errors,BoxyUwU | bors | -39/+15 | |
| finish `Reveal` removal After #133212 changed the `TypingMode` to be the only source of truth, this entirely rips out `Reveal`. cc #132279 r? `@compiler-errors` | ||||
| 2024-11-23 | global old solver cache: use `TypingEnv` | lcnr | -4/+5 | |
| 2024-11-23 | no more Reveal :( | lcnr | -35/+10 | |
| 2024-11-23 | Remove unnecessary bool from ExpectedFound | Michael Goulet | -44/+18 | |
| 2024-11-19 | Implement ~const opaques | Michael Goulet | -4/+23 | |
| 2024-11-18 | review | lcnr | -3/+3 | |
| 2024-11-18 | use `TypingEnv` when no `infcx` is available | lcnr | -1/+45 | |
| the behavior of the type system not only depends on the current assumptions, but also the currentnphase of the compiler. This is mostly necessary as we need to decide whether and how to reveal opaque types. We track this via the `TypingMode`. | ||||
| 2024-11-12 | Consolidate type system const evaluation under `traits::evaluate_const` | Boxy | -135/+1 | |
| mew | ||||
| 2024-11-08 | Manually register some bounds for a better span | Michael Goulet | -0/+1 | |
| 2024-11-04 | ty::BrK -> ty::BoundRegionKind::K | Michael Goulet | -1/+1 | |
| 2024-11-02 | Remove or fix some FIXME(async_closure) | Michael Goulet | -1/+0 | |
| 2024-10-31 | Encode cross-crate opaque type origin | Michael Goulet | -1/+4 | |
| 2024-10-29 | TypingMode :thinking: | lcnr | -110/+108 | |
| 2024-10-28 | fix clippy::clone_on_ref_ptr for compiler | klensy | -1/+1 | |
| 2024-10-24 | Implement const effect predicate in new solver | Michael Goulet | -12/+2 | |
| 2024-10-24 | Remove associated type based effects logic | Michael Goulet | -159/+7 | |
| 2024-10-23 | clone range in a more obvious way | Matthias Krüger | -4/+1 | |
| 2024-10-19 | refactor fudge_inference, handle effect vars | lcnr | -124/+175 | |
| 2024-10-17 | move `defining_opaque_types` out of `Canonical` | lcnr | -21/+12 | |
| 2024-10-12 | Swap PredicateObligation to ThinVec | GnomedDev | -1/+2 | |
| 2024-10-12 | Swap Vec<PredicateObligation> to type alias | GnomedDev | -29/+34 | |
| 2024-10-10 | Make super combine into fns | Michael Goulet | -8/+8 | |
| 2024-10-10 | Use SolverRelating in favor of TypeRelating in the old solver where possible | Michael Goulet | -30/+73 | |
| 2024-10-10 | Remove unnecessary StructurallyRelateAliases from CombineFields/TypeRelating | Michael Goulet | -8/+2 | |
| 2024-10-10 | Use SolverRelating in new solver | Michael Goulet | -72/+2 | |
| 2024-10-10 | Introduce SolverRelating | Michael Goulet | -1/+34 | |
| 2024-10-10 | Uplift super_combine | Michael Goulet | -254/+70 | |
| 2024-10-10 | Move ty::Error branch into super_combine_tys | Michael Goulet | -5/+5 | |
| 2024-10-08 | Remove unnecessary `return` keyword. | Nicholas Nethercote | -1/+1 | |
| 2024-10-08 | Use `Default` more in `InferCtxtInner`. | Nicholas Nethercote | -18/+7 | |
| 2024-10-08 | Downgrade a `&mut self` to `&self`. | Nicholas Nethercote | -1/+1 | |
| 2024-10-08 | Remove `Deref`/`DerefMut` impls for `RegionConstraintCollector`. | Nicholas Nethercote | -32/+18 | |
| `Deref`/`DerefMut` can be useful, but they can also obfuscate. I don't think they're worth it for `RegionConstraintCollector`. They're also not present on the similar types `OpaqueTypeTable` and `TypeVariableTable`. | ||||
| 2024-10-08 | Remove unnecessary lifetime from `LeakCheck`. | Nicholas Nethercote | -32/+22 | |
| `LeakCheck` can own `mini_graph` and `rcc` instead of holding references to them. This requires inlining `assign_scc_value` to avoid a borrowck error, but that's fine because it has a single call site. | ||||
| 2024-10-08 | Inline and remove `RegionConstraintStorage::remove_constraint_entry`. | Nicholas Nethercote | -24/+20 | |
| It has a single call site. | ||||
| 2024-10-08 | Inline and remove `RegionConstraintCollector::into_infos_and_data`. | Nicholas Nethercote | -32/+18 | |
| It's a weird method, and used weirdly: - It's on `RegionConstraintCollector` but operates on `RegionConstraintStorage`. So at both call sites we create a temporary `RegionConstraintCollector`, using `with_log`, to call it. - It `take`s just two of the six fields in `RegionConstraintStorage`. At one of the two call sites we unnecessarily clone the entire `RegionConstraintStorage` just to take those two fields. This commit just inlines and removes it. We no longer need to `take` the two fields, we can just use them directly. | ||||
| 2024-10-08 | Improve formatting of some comments. | Nicholas Nethercote | -53/+50 | |
| I.e. fixing comments lines that are too long or too short. | ||||
| 2024-10-08 | Add a useful comment about `InferOk`. | Nicholas Nethercote | -0/+7 | |
| Prompted by #131134, which tried to remove `InferOk<'tcx, ()>` occurrences. | ||||
| 2024-10-08 | Remove `OutlivesEnvironmentBuilder`. | Nicholas Nethercote | -61/+26 | |
| `OutlivesEnvironment::new` can call `OutlivesEnvironment::with_bounds` with an empty `extra_bounds`. And once that's done, `OutlivesEnvironmentBuilder` has a single use and can be inlined and removed into `OutlivesEnvironment::with_bounds`. | ||||
| 2024-10-07 | Auto merge of #131343 - compiler-errors:remove-combine-fields, r=lcnr | bors | -262/+161 | |
| Remove `CombineFields` This conflicts with #131263, but if this one lands first then perhaps #131263 could then go ahead and remove all the branching on solver in `TypeRelating`. We could perhaps then rename `TypeRelating` to `OldSolverRelating` or something, idk. r? lcnr | ||||
| 2024-10-07 | Rollup merge of #131344 - nnethercote:ref-Lrc, r=compiler-errors | Matthias Krüger | -4/+12 | |
| Avoid `&Lrc<T>` in various places Seeing `&Lrc<T>` is a bit suspicious, and `&T` or `Lrc<T>` is often better. r? `@oli-obk` | ||||
| 2024-10-07 | Remove At methods that are unused | Michael Goulet | -41/+0 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |