| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-03-30 | Rollup merge of #109739 - compiler-errors:new-solver-closure-fnonce, r=lcnr | Michael Goulet | -3/+14 |
| 2023-03-30 | Rollup merge of #109679 - compiler-errors:normalizes-to-hack-2, r=lcnr,BoxyUwU | Michael Goulet | -43/+70 |
| 2023-03-30 | Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>` | Scott McMurray | -1/+2 |
| 2023-03-30 | Closures always implement FnOnce in new solver | Michael Goulet | -3/+14 |
| 2023-03-30 | Rollup merge of #109749 - compiler-errors:new-solver-float-var, r=lcnr | Yuki Okushi | -1/+1 |
| 2023-03-30 | Rollup merge of #109748 - compiler-errors:new-solver-discr-kind-ice, r=lcnr | Yuki Okushi | -5/+43 |
| 2023-03-30 | canonicalize float var as float in new solver | Michael Goulet | -1/+1 |
| 2023-03-30 | Check pointee metadata correctly in ui test | Michael Goulet | -3/+1 |
| 2023-03-30 | Don't ICE on DiscriminantKind projection in new solver | Michael Goulet | -2/+42 |
| 2023-03-29 | Rollup merge of #109675 - compiler-errors:object-heck, r=lcnr | Matthias Krüger | -3/+16 |
| 2023-03-29 | Rollup merge of #109511 - compiler-errors:eval-ctxt-infcx-private, r=lcnr | Matthias Krüger | -50/+84 |
| 2023-03-29 | Freshen normalizes-to hack goal RHS in the evaluate loop | Michael Goulet | -43/+70 |
| 2023-03-29 | Move canonicalization code around | Michael Goulet | -72/+47 |
| 2023-03-29 | Do not consider elaborated projection predicates for objects in new solver | Michael Goulet | -3/+16 |
| 2023-03-29 | Rollup merge of #109718 - scottmcm:indexvec-last, r=Nilstrieb | Dylan DPC | -1/+1 |
| 2023-03-29 | Rollup merge of #109683 - compiler-errors:self-ty-overflow, r=lcnr | Dylan DPC | -18/+53 |
| 2023-03-29 | Rename `IndexVec::last` → `last_index` | Scott McMurray | -1/+1 |
| 2023-03-29 | Rollup merge of #109705 - lcnr:coherence-caching, r=compiler-errors | Matthias Krüger | -5/+22 |
| 2023-03-29 | Introduce `DeepRejectCtxt::substs_refs_may_unify`. | Nicholas Nethercote | -9/+5 |
| 2023-03-28 | check for intercrate mode when accessing the cache | lcnr | -5/+22 |
