| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-01-28 | Make item self/non-self bound naming less whack | Michael Goulet | -1/+1 | |
| 2025-01-22 | Remove `Copy` bound from `enter_forall` | Boxy | -4/+4 | |
| 2025-01-18 | Get rid of `ToPolyTraitRef` | Michael Goulet | -3/+3 | |
| 2025-01-13 | rm unnecessary `OpaqueTypeDecl` wrapper | lcnr | -24/+16 | |
| 2025-01-02 | Simplify declared_generic_bounds_from_env | Michael Goulet | -32/+23 | |
| 2025-01-02 | Make it clearer that the only infers we expect to see when processing ↵ | Michael Goulet | -1/+8 | |
| outlives are regions | ||||
| 2025-01-02 | Remove hack for filtering out param-env outlives that match item-bound outlives | Michael Goulet | -18/+1 | |
| 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-07 | Remove unused intercrate dependencies | clubby789 | -2/+0 | |
| 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/+3 | |
| 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. | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |