| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-07-26 | Use real opaque type instead of just saying impl Trait | Michael Goulet | -6/+8 |
| 2022-07-20 | use def_id | ouz-a | -1/+1 |
| 2022-07-20 | take opaq types | ouz-a | -48/+54 |
| 2022-07-19 | Use LocalDefId in OpaqueTypeKey | Michael Goulet | -8/+8 |
| 2022-07-13 | Rename `debugging_opts` to `unstable_opts` | Joshua Nelson | -1/+1 |
| 2022-07-11 | Rollup merge of #98713 - nikomatsakis:issue-98693, r=jackh726 | Matthias Krüger | -5/+33 |
| 2022-07-07 | Move code from rustc_trait_selection/opaque_types to better places | Jack Huey | -2/+482 |
| 2022-07-07 | Move is_free and is_free_or_static to Region, change resolve_var to resolve_r... | Jack Huey | -11/+7 |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -2/+6 |
| 2022-06-30 | promote placeholder bounds to 'static obligations | Niko Matsakis | -5/+33 |
| 2022-06-27 | fold_region: remove unused parameter | lcnr | -5/+5 |
| 2022-06-24 | Auto merge of #98109 - nikomatsakis:issue-98095, r=jackh726 | bors | -20/+81 |
| 2022-06-23 | run `x.py fmt` | Niko Matsakis | -4/+1 |
| 2022-06-23 | apply suggestions from oli-obk | Niko Matsakis | -1/+1 |
| 2022-06-23 | rename IfEqBound to IfEq | Niko Matsakis | -4/+4 |
| 2022-06-23 | remove VerifyBound::IfEq variant | Niko Matsakis | -23/+0 |
| 2022-06-19 | Move RegionKind to rustc_type_ir | Jack Huey | -1/+1 |
| 2022-06-15 | fix universes in the NLL type tests | Niko Matsakis | -1/+24 |
| 2022-06-15 | implement (unused) matching solver | Niko Matsakis | -21/+80 |
| 2022-06-15 | simply the IfEq bound -- we only ever use a region | Niko Matsakis | -3/+8 |
| 2022-05-25 | add def_id and substs to ConstraintCategory::CallArgument | b-naber | -4/+4 |
| 2022-05-20 | Remove `crate` visibility usage in compiler | Jacob Pratt | -57/+63 |
| 2022-05-13 | For non-defining opaque type usage errors, don't try to also prove all trait ... | Oli Scherer | -106/+1 |
| 2022-05-10 | Auto merge of #96736 - oli-obk:tait_missing_wf_check, r=davidtwco | bors | -0/+1 |
| 2022-05-10 | Check hidden types for well formedness at the definition site instead of only... | Oli Scherer | -0/+1 |
| 2022-05-02 | fix most compiler/ doctests | Elliot Roberts | -13/+13 |
| 2022-04-19 | Add an explicit `Span` field to `OutlivesConstraint` | Aaron Hill | -5/+10 |
| 2022-04-07 | Deduplicate the error printing code for hidden type mismatches | Oli Scherer | -10/+3 |
| 2022-04-07 | Report opaque type mismatches directly during borrowck of the function instea... | Oli Scherer | -10/+21 |
| 2022-04-06 | Check that all hidden types are the same and then deduplicate them. | Oli Scherer | -62/+80 |
| 2022-03-30 | Auto merge of #95466 - Dylan-DPC:rollup-g7ddr8y, r=Dylan-DPC | bors | -2/+2 |
| 2022-03-30 | Spellchecking some comments | Yuri Astrakhan | -2/+2 |
| 2022-03-28 | Have the spans of TAIT type conflict errors point to the actual site instead ... | Oli Scherer | -17/+15 |
| 2022-03-28 | Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk" | Oli Scherer | -21/+41 |
| 2022-03-08 | add `#[rustc_pass_by_value]` to more types | lcnr | -4/+4 |
| 2022-03-01 | compiler: fix some typos | cuishuang | -1/+1 |
| 2022-02-23 | Replace `&mut DiagnosticBuilder`, in signatures, with `&mut Diagnostic`. | Eduard-Mihai Burtescu | -1/+2 |
| 2022-02-19 | Adopt let else in more places | est31 | -7/+5 |
| 2022-02-17 | Revert "Auto merge of #91403 - cjgillot:inherit-async, r=oli-obk" | Oli Scherer | -18/+0 |
| 2022-02-15 | Overhaul `Const`. | Nicholas Nethercote | -1/+1 |
| 2022-02-15 | Overhaul `RegionKind` and `Region`. | Nicholas Nethercote | -4/+4 |
| 2022-02-15 | Overhaul `TyS` and `Ty`. | Nicholas Nethercote | -1/+1 |
| 2022-02-12 | Bless nll tests. | Camille GILLOT | -0/+18 |
| 2022-02-11 | Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis" | Oli Scherer | -38/+20 |
| 2022-02-11 | Revert "Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obk" | Oli Scherer | -3/+1 |
| 2022-02-08 | Improve opaque type higher-ranked region error message under NLL | Aaron Hill | -1/+3 |
| 2022-02-02 | Avoid an ICE in the presence of HKL | Oli Scherer | -0/+4 |
| 2022-02-02 | Reduce follow-up errors that are not helpful | Oli Scherer | -3/+9 |
| 2022-02-02 | Lazily resolve type-alias-impl-trait defining uses | Oli Scherer | -22/+30 |
| 2022-01-19 | Remove ordering traits from `rustc_borrowck::constraints::OutlivesConstraint` | pierwill | -2/+2 |
