| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-04-11 | don't uniquify regions when canonicalizing | lcnr | -14/+11 |
| 2023-04-10 | Fix typos in compiler | DaniPopes | -6/+6 |
| 2023-04-10 | Report overflows gracefully with new solver | Michael Goulet | -5/+24 |
| 2023-04-10 | Support safe transmute in new solver | Michael Goulet | -0/+64 |
| 2023-04-10 | Stall auto-trait assembly for int/float vars in new solver | Michael Goulet | -24/+64 |
| 2023-04-10 | review + some small stuff | lcnr | -10/+16 |
| 2023-04-10 | move `structural_traits` into `assembly` | lcnr | -11/+9 |
| 2023-04-10 | prioritize param-env candidates | lcnr | -78/+83 |
| 2023-04-09 | Auto merge of #109413 - compiler-errors:pointer-like-abi, r=cjgillot | bors | -2/+1 |
| 2023-04-09 | Auto merge of #110031 - compiler-errors:generic-elaboration, r=b-naber | bors | -2/+2 |
| 2023-04-08 | Enforce that PointerLike requires a pointer-like ABI | Michael Goulet | -2/+1 |
| 2023-04-06 | Remove u32 on BoundTyKind::Anon | Jack Huey | -8/+6 |
| 2023-04-06 | Remove index from BrAnon | Jack Huey | -1/+1 |
| 2023-04-06 | Remove expect_anon and expect_anon_placeholder in favor of var | Jack Huey | -1/+1 |
| 2023-04-06 | Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR... | Jack Huey | -4/+10 |
| 2023-04-06 | Make elaborator generic | Michael Goulet | -2/+2 |
| 2023-04-06 | Rollup merge of #109755 - compiler-errors:new-solver-generator-witness-mir, r... | Matthias Krüger | -3/+46 |
| 2023-04-05 | Tweak debug outputs to make debugging new solver easier | Michael Goulet | -7/+31 |
| 2023-04-05 | Implement support for GeneratorWitnessMIR in new solver | Michael Goulet | -3/+46 |
| 2023-03-31 | Auto merge of #109762 - scottmcm:variantdef-indexvec, r=WaffleLapkin | bors | -1/+2 |
