| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-11-02 | only erase param env regions where needed | lcnr | -1/+1 |
| 2023-11-02 | dropck_outlives check generator witness needs_drop | lcnr | -13/+22 |
| 2023-11-02 | Minimize `pub` usage in `source_map.rs`. | Nicholas Nethercote | -4/+3 |
| 2023-10-30 | Don't super-fold types when we hit the recursion limit | Michael Goulet | -7/+4 |
| 2023-10-25 | Uplift Canonical to rustc_type_ir | Michael Goulet | -1/+1 |
| 2023-10-20 | s/generator/coroutine/ | Oli Scherer | -9/+9 |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -5/+5 |
| 2023-10-08 | delay a bug when encountering an ambiguity in MIR typeck | Ali MJ Al-Nasrawy | -4/+12 |
| 2023-09-23 | Remove GeneratorWitness and rename GeneratorWitnessMIR. | Camille GILLOT | -3/+1 |
| 2023-09-18 | Remove unused `Lift` derives. | Nicholas Nethercote | -2/+2 |
| 2023-09-13 | make the eval() functions on our const types return the resulting value | Ralf Jung | -1/+1 |
| 2023-08-02 | Rollup merge of #114079 - compiler-errors:closure-upvars, r=oli-obk | Nilstrieb | -3/+3 |
| 2023-08-02 | Auto merge of #114170 - lcnr:add-commmentz, r=compiler-errors | bors | -10/+0 |
| 2023-08-01 | Use upvar_tys in more places, make it a list | Michael Goulet | -3/+3 |
| 2023-07-30 | inline format!() args up to and including rustc_codegen_llvm | Matthias Krüger | -4/+3 |
| 2023-07-28 | dropck_outlives comments | lcnr | -10/+0 |
| 2023-07-27 | Remove `constness` from `ParamEnv` | Deadbeef | -13/+1 |
| 2023-07-14 | Auto merge of #113471 - compiler-errors:new-solver-norm-escaping, r=lcnr | bors | -20/+21 |
| 2023-07-14 | Allow escaping bound vars during normalize_erasing_regions in new solver | Michael Goulet | -20/+21 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -32/+29 |
| 2023-07-05 | Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obk | Michael Goulet | -8/+21 |
| 2023-07-04 | -Ztrait-solver=next: stop depending on old solver | lcnr | -8/+21 |
| 2023-07-03 | remove TypeWellFormedFromEnv | Michael Goulet | -1/+1 |
| 2023-07-03 | add deep normalization via the new solver | lcnr | -2/+12 |
| 2023-07-01 | Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errors | bors | -2/+2 |
| 2023-06-29 | change snapshot tracking in fulfillment contexts | lcnr | -2/+2 |
| 2023-06-27 | Normalize opaques with escaping bound vars | Michael Goulet | -6/+1 |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -1/+1 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -2/+2 |
| 2023-06-21 | Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnr | Nilstrieb | -13/+14 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -13/+14 |
| 2023-06-18 | Continue folding in query normalizer on weak aliases | Michael Goulet | -2/+6 |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -1/+1 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -4/+7 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -1/+2 |
| 2023-06-06 | New trait solver is a property of inference context | Michael Goulet | -2/+2 |
| 2023-06-05 | Resolve vars in result from scrape_region_constraints | Michael Goulet | -3/+12 |
| 2023-05-30 | Auto merge of #111881 - lcnr:leak-check, r=nikomatsakis,jackh726 | bors | -1/+1 |
| 2023-05-30 | rework the leak_check to take the outer_universe | lcnr | -1/+1 |
| 2023-05-29 | EarlyBinder::new -> EarlyBinder::bind | lcnr | -3/+3 |
| 2023-05-28 | Replace EarlyBinder(x) with EarlyBinder::new(x) | Kyle Matsuda | -3/+3 |
| 2023-05-27 | Uplift complex type ops back into typeck so we can call them locally | Michael Goulet | -17/+558 |
| 2023-05-27 | Perform MIR type ops locally in new solver | Michael Goulet | -1/+94 |
| 2023-05-25 | Fallible<_> -> Result<_, NoSolution> | Michael Goulet | -31/+34 |
| 2023-05-25 | Use ErrorGuaranteed more in MIR type ops | Michael Goulet | -13/+35 |
| 2023-05-24 | Use ObligationCtxt in custom type ops | Michael Goulet | -27/+27 |
| 2023-05-04 | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | -7/+10 |
| 2023-05-03 | Restrict `From<S>` for `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | -1/+1 |
| 2023-04-08 | Remove `remap_env_constness` in queries | Deadbeef | -7/+1 |
| 2023-03-23 | Use fulfillment in InferCtxt::evaluate_obligation | Michael Goulet | -30/+14 |
