| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-05-26 | remove unnecessary `.ok()` calls | lcnr | -6/+14 |
| 2023-05-26 | do not prefer substs relate during coherence | lcnr | -3/+11 |
| 2023-05-25 | Match on both reveal and solver mode at the same time | Michael Goulet | -41/+38 |
| 2023-05-25 | Add InferCtxt::register_hidden_type_in_new_solver | Michael Goulet | -40/+24 |
| 2023-05-25 | Strongly prefer alias and param-env bounds | Michael Goulet | -5/+9 |
| 2023-05-25 | Pre-populate MIR with opaques, prefer subst-relate candidate | Michael Goulet | -28/+25 |
| 2023-05-25 | Check that opaque is a defining use, prefer pre-defined opaques | Michael Goulet | -14/+91 |
| 2023-05-25 | Prepopulate opaques in canonical input | Michael Goulet | -77/+170 |
| 2023-05-25 | Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu... | Michael Goulet | -4/+56 |
| 2023-05-24 | Use `Option::is_some_and` and `Result::is_ok_and` in the compiler | Maybe Waffle | -1/+1 |
| 2023-05-23 | Don't ICE when computing PointerLike trait when region vars are in param-env | Michael Goulet | -5/+9 |
| 2023-05-17 | Exclude inherent projections from some alias ty matches | León Orell Valerian Liehr | -1/+3 |
| 2023-05-16 | Use error term if missing associated item in new solver | Michael Goulet | -1/+15 |
| 2023-05-09 | Consolidate the 'match assumption' type methods in GoalKind | Michael Goulet | -140/+47 |
| 2023-05-09 | Make alias bounds sound in the new solver | Michael Goulet | -2/+162 |
| 2023-05-04 | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | -2/+2 |
| 2023-05-04 | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr | bors | -20/+16 |
| 2023-04-29 | Rollup merge of #110614 - compiler-errors:new-solver-overflow-response, r=lcnr | Dylan DPC | -20/+79 |
| 2023-04-27 | rename `needs_infer` to `has_infer` | Boxy | -1/+1 |
| 2023-04-26 | Split out make_ambiguous_response_no_constraints | Michael Goulet | -30/+53 |
| 2023-04-26 | Clear response values for overflow in new solver | Michael Goulet | -9/+45 |
| 2023-04-26 | Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a... | Maybe Waffle | -3/+4 |
| 2023-04-26 | Remove some more useless `ty::Binder::dummy` calls | Maybe Waffle | -2/+2 |
| 2023-04-26 | Make some region folders a little stricter. | Nicholas Nethercote | -4/+5 |
| 2023-04-25 | Rollup merge of #110671 - compiler-errors:polarity, r=lcnr | Matthias Krüger | -3/+69 |
| 2023-04-25 | Remove some useless `ty::Binder::dummy` calls | Maybe Waffle | -20/+5 |
| 2023-04-25 | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new` | Maybe Waffle | -18/+28 |
| 2023-04-24 | Consider polarity in new solver | Michael Goulet | -3/+69 |
| 2023-04-24 | Split `{Idx, IndexVec, IndexSlice}` into their own modules | Maybe Waffle | -3/+3 |
| 2023-04-24 | Rollup merge of #110514 - compiler-errors:remove-find_map_relevant_impl, r=b-... | Matthias Krüger | -3/+7 |
| 2023-04-22 | Expect that equating a projection term always succeeds in new solver | Michael Goulet | -5/+10 |
| 2023-04-21 | Auto merge of #96840 - cjgillot:query-feed, r=oli-obk | bors | -1/+1 |
| 2023-04-20 | Result is just bool but special | Michael Goulet | -7/+9 |
| 2023-04-20 | Remove WithOptconstParam. | Camille GILLOT | -1/+1 |
| 2023-04-20 | Track if EvalCtxt has been tainted, make sure it can't be used to make query ... | Michael Goulet | -0/+20 |
| 2023-04-19 | Remove find_map_relevant_impl | Michael Goulet | -3/+7 |
| 2023-04-17 | Spelling - compiler | Josh Soref | -6/+6 |
| 2023-04-17 | Rollup merge of #110394 - scottmcm:less-idx-new, r=WaffleLapkin | Matthias Krüger | -6/+7 |
| 2023-04-16 | Erase regions when confirming transmutability candidate | Michael Goulet | -1/+1 |
| 2023-04-16 | Various minor Idx-related tweaks | Scott McMurray | -6/+7 |
| 2023-04-14 | Rollup merge of #110207 - compiler-errors:new-solver-unpin, r=lcnr | Matthias Krüger | -61/+102 |
| 2023-04-14 | Rollup merge of #110180 - lcnr:canonicalize, r=compiler-errors | Matthias Krüger | -14/+11 |
| 2023-04-14 | Move auto trait built-in candidate disqualification to a separate method | Michael Goulet | -77/+101 |
| 2023-04-14 | Assemble Unpin candidates specially for generators in new solver | Michael Goulet | -1/+18 |
| 2023-04-12 | Auto merge of #110252 - matthiaskrgr:rollup-ovaixra, r=matthiaskrgr | bors | -5/+24 |
| 2023-04-12 | Rollup merge of #110103 - compiler-errors:new-solver-overflows, r=lcnr | Matthias Krüger | -5/+24 |
| 2023-04-12 | Rollup merge of #110153 - DaniPopes:compiler-typos, r=Nilstrieb | Matthias Krüger | -6/+6 |
| 2023-04-12 | Auto merge of #107614 - compiler-errors:allow-elaborator-to-filter-only-super... | bors | -1/+4 |
| 2023-04-11 | Rollup merge of #110126 - compiler-errors:new-solver-safe-transmute, r=oli-obk | Michael Goulet | -0/+64 |
| 2023-04-11 | Allow the elaborator to only filter to real supertraits | Michael Goulet | -1/+4 |
