| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-07-06 | Uplift push_outlives_components | Michael Goulet | -266/+0 | |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -0/+1 | |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -0/+5 | |
| 2023-12-28 | Remove movability from TyKind::Coroutine | Michael Goulet | -1/+1 | |
| 2023-12-15 | Annotate some bugs | Michael Goulet | -1/+3 | |
| 2023-11-21 | Fix `clippy::needless_borrow` in the compiler | Nilstrieb | -2/+2 | |
| `x clippy compiler -Aclippy::all -Wclippy::needless_borrow --fix`. Then I had to remove a few unnecessary parens and muts that were exposed now. | ||||
| 2023-11-19 | Make regionck care about placeholders in outlives components | Michael Goulet | -1/+5 | |
| 2023-11-13 | rename `ReLateBound` to `ReBound` | lcnr | -4/+4 | |
| other changes: - `Region::new_late_bound` -> `Region::new_bound` - `Region::is_late_bound` -> `Region::is_bound` | ||||
| 2023-10-20 | s/generator/coroutine/ | Oli Scherer | -2/+2 | |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -2/+2 | |
| 2023-09-23 | Remove GeneratorWitness and rename GeneratorWitnessMIR. | Camille GILLOT | -1/+1 | |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -13/+13 | |
| 2023-04-16 | Account for variance in outlives verification. | Camille GILLOT | -2/+38 | |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -1/+1 | |
| 2023-01-27 | Introduce GeneratorWitnessMIR. | Camille GILLOT | -1/+1 | |
| 2023-01-19 | even more unify Projection/Opaque in outlives code | Ali MJ Al-Nasrawy | -17/+6 | |
| 2023-01-17 | Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726 | Matthias Krüger | -2/+2 | |
| Remove double spaces after dots in comments Most of the comments do not have double spaces, so I assume these are typos. | ||||
| 2023-01-17 | Remove double spaces after dots in comments | Maybe Waffle | -2/+2 | |
| 2023-01-13 | Unify Opaque/Projection handling in region outlives code | Michael Goulet | -9/+6 | |
| 2022-12-14 | Ensure no one constructs `AliasTy`s themselves | Oli Scherer | -1/+1 | |
| 2022-12-13 | Combine projection and opaque into alias | Michael Goulet | -2/+2 | |
| 2022-12-13 | squash OpaqueTy and ProjectionTy into AliasTy | Michael Goulet | -2/+2 | |
| 2022-12-13 | Use ty::OpaqueTy everywhere | Michael Goulet | -1/+1 | |
| 2022-09-21 | Neither require nor imply lifetime bounds on opaque type for well formedness | Oli Scherer | -2/+15 | |
| 2022-07-15 | Auto merge of #97406 - aliemjay:verify-bounds-fix-master, r=oli-obk | bors | -1/+5 | |
| Make outlives::{components,verify} agree fixes #97405 cc `@oli-obk` this is should fix https://github.com/rust-lang/rust/pull/95474#discussion_r880660075 r? `@oli-obk` | ||||
| 2022-07-14 | Make outlives::{components,verify} agree | Ali MJ Al-Nasrawy | -1/+5 | |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -1/+1 | |
| 2022-03-30 | Addressed comments by @compiler-errors and @bjorn3 | Yuri Astrakhan | -1/+1 | |
| 2022-03-30 | Spellchecking compiler comments | Yuri Astrakhan | -1/+1 | |
| This PR cleans up the rest of the spelling mistakes in the compiler comments. This PR does not change any literal or code spelling issues. | ||||
| 2022-01-15 | initial revert | Ellen | -1/+1 | |
| 2021-12-13 | Remove `in_band_lifetimes` from `rustc_infer` | LegionMammal978 | -3/+3 | |
| This crate actually had a typo `'ctx` in one of its functions: ```diff -pub fn same_type_modulo_infer(a: Ty<'tcx>, b: Ty<'ctx>) -> bool { +pub fn same_type_modulo_infer<'tcx>(a: Ty<'tcx>, b: Ty<'tcx>) -> bool { ``` | ||||
| 2021-10-15 | Move push_outlives_components to rustc_infer | jackh726 | -0/+215 | |
