| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-04-12 | Move FlagComputation, PatternKind, and TypeWalker to rustc_type_ir | jackh726 | -359/+0 | |
| 2025-04-08 | clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()` | xizheyin | -1/+1 | |
| Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn> | ||||
| 2025-03-23 | Remove STILL_FURTHER_SPECIALIZABLE special casing | Michael Goulet | -74/+15 | |
| 2025-03-23 | Remove HAS_TY_COROUTINE | Michael Goulet | -1/+0 | |
| 2025-03-23 | Visit coroutine kind ty in FlagComputation | Michael Goulet | -0/+1 | |
| 2025-03-06 | Remove the `Option` part of range ends in the HIR | Oli Scherer | -1/+1 | |
| 2025-03-06 | Avoid having to handle an `Option` in the type system | Oli Scherer | -6/+2 | |
| 2025-01-30 | introduce `ty::Value` | Lukas Markeffsky | -1/+1 | |
| Co-authored-by: FedericoBruzzone <federico.bruzzone.i@gmail.com> | ||||
| 2024-12-22 | Begin to implement type system layer of unsafe binders | Michael Goulet | -0/+6 | |
| 2024-10-30 | Merge HostPolarity and BoundConstness | Michael Goulet | -1/+1 | |
| 2024-10-24 | Implement const effect predicate in new solver | Michael Goulet | -0/+6 | |
| 2024-10-24 | Remove associated type based effects logic | Michael Goulet | -3/+1 | |
| 2024-09-25 | Compiler: Rename "object safe" to "dyn compatible" | León Orell Valerian Liehr | -1/+1 | |
| 2024-08-12 | Streamline some inputs/output traversals. | Nicholas Nethercote | -2/+1 | |
| 2024-08-09 | Shrink `TyKind::FnPtr`. | Nicholas Nethercote | -3/+3 | |
| By splitting the `FnSig` within `TyKind::FnPtr` into `FnSigTys` and `FnHeader`, which can be packed more efficiently. This reduces the size of the hot `TyKind` type from 32 bytes to 24 bytes on 64-bit platforms. This reduces peak memory usage by a few percent on some benchmarks. It also reduces cache misses and page faults similarly, though this doesn't translate to clear cycles or wall-time improvements on CI. | ||||
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -2/+2 | |
| The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options. | ||||
| 2024-06-05 | Add `Ty` to `ConstKind::Value` | Boxy | -1/+1 | |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -3/+2 | |
| 2024-06-04 | Downsize `ty::Expr` | Boxy | -20/+1 | |
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -3/+7 | |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -0/+14 | |
| 2024-04-04 | cache type info for ParamEnv | Lukas Markeffsky | -0/+9 | |
| 2024-03-22 | Make RawPtr take Ty and Mutbl separately | Michael Goulet | -2/+2 | |
| 2024-02-20 | Introduce expand_weak_alias_tys | León Orell Valerian Liehr | -2/+3 | |
| 2024-02-06 | More comments, final tweaks | Michael Goulet | -3/+3 | |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -0/+16 | |
| 2023-12-28 | Remove movability from TyKind::Coroutine | Michael Goulet | -1/+1 | |
| 2023-12-07 | add unused `NormalizesTo` predicate | lcnr | -0/+4 | |
| 2023-11-24 | Auto merge of #118189 - compiler-errors:cache-flags-for-const, r=nnethercote | bors | -5/+10 | |
| Cache flags for `ty::Const` Not sure if this has been attempted yet, but worth a shot. It does make the code simpler in `rustc_type_ir`, since we can assume that consts have a `flags` method that is no-cost. r? `@ghost` | ||||
| 2023-11-22 | Cache flags for ty::Const | Michael Goulet | -5/+10 | |
| 2023-11-21 | Remove ClosureKind predicate kind | Michael Goulet | -3/+0 | |
| 2023-11-13 | update type flags | lcnr | -2/+2 | |
| - `HAS_RE_LATE_BOUND` -> `HAS_RE_BOUND` - `HAS_TY_LATE_BOUND` -> `HAS_TY_BOUND` - `HAS_CT_LATE_BOUND` -> `HAS_CT_BOUND` - `HAS_LATE_BOUND` -> `HAS_BOUND_VARS` - `fn has_late_bound_regions` -> `fn has_bound_regions` - `fnhas_non_region_late_bound` -> `fn has_non_region_bound_vars` - `fn has_late_bound_vars` -> `fn has_bound_vars` | ||||
| 2023-11-13 | rename `ReLateBound` to `ReBound` | lcnr | -1/+1 | |
| other changes: - `Region::new_late_bound` -> `Region::new_bound` - `Region::is_late_bound` -> `Region::is_bound` | ||||
| 2023-11-04 | Make sure that predicates with unmentioned bound vars are still considered ↵ | Michael Goulet | -21/+5 | |
| global in the old solver | ||||
| 2023-10-26 | Replace type flag HAS_TY_GENERATOR with HAS_TY_COROUTINE | León Orell Valerian Liehr | -1/+1 | |
| 2023-10-20 | s/generator/coroutine/ | Oli Scherer | -1/+1 | |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -2/+2 | |
| 2023-09-23 | Remove GeneratorWitness and rename GeneratorWitnessMIR. | Camille GILLOT | -5/+1 | |
| 2023-09-14 | Properly consider binder vars in HasTypeFlagsVisitor | Michael Goulet | -15/+21 | |
| 2023-09-10 | Implement fallback for effect param | Deadbeef | -1/+3 | |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -31/+31 | |
| 2023-07-03 | remove TypeWellFormedFromEnv | Michael Goulet | -3/+0 | |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -1/+1 | |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -7/+10 | |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -1/+1 | |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -1/+1 | |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -1/+1 | |
| Only use it when the type alias contains an opaque type. Also does wf-checking on such type aliases. | ||||
| 2023-05-04 | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | -7/+7 | |
| 2023-04-19 | small type system cleanup | lcnr | -4/+4 | |
| 2023-03-23 | Rename AliasEq -> AliasRelate | Michael Goulet | -1/+1 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |