| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-01-26 | fixup new usages of fn_sig, bound_fn_sig after rebasing | Kyle Matsuda | -1/+1 |
| 2023-01-26 | change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB... | Kyle Matsuda | -1/+1 |
| 2023-01-26 | replace usages of fn_sig query with bound_fn_sig | Kyle Matsuda | -1/+1 |
| 2023-01-26 | Make make_identity take CanonicalVarInfos | Michael Goulet | -21/+2 |
| 2023-01-26 | Intern CanonicalVarValues | Michael Goulet | -22/+19 |
| 2023-01-26 | Use new solver during selection | Michael Goulet | -14/+43 |
| 2023-01-26 | solver comments + remove `TyCtxt::evaluate_goal` | lcnr | -13/+11 |
| 2023-01-26 | Rollup merge of #107286 - compiler-errors:new-solver-deny-infers, r=lcnr | Matthias Krüger | -22/+33 |
| 2023-01-26 | Rollup merge of #107285 - compiler-errors:new-solver-future-and-generator, r=... | Matthias Krüger | -11/+184 |
| 2023-01-26 | Rollup merge of #107272 - compiler-errors:new-solver-more-predicates, r=lcnr | Matthias Krüger | -6/+63 |
| 2023-01-26 | ICE in new solver if we see an inference variable | Michael Goulet | -22/+33 |
| 2023-01-26 | Implement Generator and Future | Michael Goulet | -1/+127 |
| 2023-01-26 | Report the right fulfillment errors | Michael Goulet | -10/+57 |
| 2023-01-25 | Don't normalize obligations in WF goal for the new solver | Michael Goulet | -7/+31 |
| 2023-01-25 | Implement ObjectSafe and WF in the new solver | Michael Goulet | -4/+37 |
| 2023-01-25 | Rollup merge of #107282 - BoxyUwU:erica_builtin_pointee_impls, r=compiler-errors | Matthias Krüger | -0/+105 |
| 2023-01-25 | Rollup merge of #106897 - estebank:issue-99430, r=davidtwco | Matthias Krüger | -1/+1 |
| 2023-01-25 | Suggest mutable borrows correctly | Michael Goulet | -8/+18 |
| 2023-01-25 | Liberate late-bound regions correctly | Michael Goulet | -2/+2 |
| 2023-01-25 | Auto merge of #103902 - vincenzopalazzo:macros/obligation_rulesv2, r=oli-obk | bors | -73/+60 |
| 2023-01-25 | Rollup merge of #107227 - lcnr:solver-new-external-api, r=compiler-errors | Dylan DPC | -17/+32 |
| 2023-01-24 | no without_constness | Boxy | -2/+1 |
| 2023-01-24 | sorry erica | Boxy | -1/+1 |
| 2023-01-24 | implement builtin candidate | Boxy | -0/+106 |
| 2023-01-23 | Point at specific field in struct literal when trait fulfillment fails | Nathan Fenner | -1/+3 |
| 2023-01-23 | `new_outside_solver` -> `evaluate_root_goal` | lcnr | -17/+32 |
| 2023-01-23 | fix: use LocalDefId instead of HirId in trait res | Vincenzo Palazzo | -73/+60 |
| 2023-01-23 | Rollup merge of #107101 - compiler-errors:perf-106309-1, r=petrochenkov | Yuki Okushi | -2/+2 |
| 2023-01-23 | Rollup merge of #104926 - spastorino:calculate_diverging_fallback-cleanups, r... | Dylan DPC | -89/+5 |
| 2023-01-22 | Store relationships on Inherent | Santiago Pastorino | -89/+5 |
| 2023-01-21 | Address goal nits | Michael Goulet | -38/+54 |
| 2023-01-21 | Implement some more predicates | Michael Goulet | -7/+57 |
| 2023-01-20 | Rollup merge of #107061 - compiler-errors:new-solver-new-candidates-3, r=lcnr | Michael Goulet | -20/+202 |
| 2023-01-20 | Auto merge of #105102 - compiler-errors:copy-impl-considering-regions, r=lcnr | bors | -23/+70 |
| 2023-01-20 | Auto merge of #107106 - matthiaskrgr:rollup-g7r1ep0, r=matthiaskrgr | bors | -8/+26 |
| 2023-01-20 | Auto merge of #107105 - matthiaskrgr:rollup-rkz9t7r, r=matthiaskrgr | bors | -22/+20 |
| 2023-01-20 | Rollup merge of #106891 - estebank:issue-45727, r=petrochenkov | Matthias Krüger | -8/+26 |
| 2023-01-20 | Rollup merge of #106973 - oli-obk:tait_ice_closure_in_impl_header, r=lcnr | Matthias Krüger | -22/+20 |
| 2023-01-20 | Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstrieb | bors | -9/+9 |
| 2023-01-20 | Filter predicates first for fast-path type flags | Michael Goulet | -2/+2 |
| 2023-01-19 | Tweak "borrow closure argument" suggestion | Esteban Küber | -8/+26 |
| 2023-01-19 | trait solver: Implement Fn traits and tuple trait | Michael Goulet | -7/+142 |
| 2023-01-19 | trait solver: PointerSized | Michael Goulet | -2/+39 |
| 2023-01-19 | swap Ambiguity and Unimplemented in new trait engine | Michael Goulet | -2/+4 |
| 2023-01-19 | Assert goal is fully normalized during assemble | Michael Goulet | -1/+4 |
| 2023-01-19 | Encode whether foreign opaques are TAITs or not | Michael Goulet | -1/+1 |
| 2023-01-19 | HACK: self ty ambiguity hack | Michael Goulet | -1/+11 |
| 2023-01-19 | Fix IndexVec::drain_enumerated | Michael Goulet | -10/+5 |
| 2023-01-19 | Don't treat closures from other crates as local | Oli Scherer | -22/+20 |
| 2023-01-18 | Rollup merge of #107030 - albertlarsan68:patch-3, r=lcnr | Michael Goulet | -1/+1 |
