| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-03-28 | Check for overflow in assemble_candidates_after_normalizing_self_ty | Michael Goulet | -18/+53 |
| 2023-03-28 | Auto merge of #108080 - oli-obk:FnPtr-trait, r=lcnr | bors | -3/+28 |
| 2023-03-27 | Rollup merge of #109580 - compiler-errors:new-solver-fixmes, r=lcnr | Matthias Krüger | -6/+0 |
| 2023-03-27 | Add a builtin `FnPtr` trait | lcnr | -3/+28 |
| 2023-03-27 | Rollup merge of #109641 - compiler-errors:dont-elaborate-non-obl, r=oli-obk | Matthias Krüger | -1/+1 |
| 2023-03-26 | Don't elaborate non-obligations into obligations | Michael Goulet | -1/+1 |
| 2023-03-25 | Still-further-specializable projections are ambiguous | Michael Goulet | -1/+1 |
| 2023-03-25 | Remove some stale FIXMEs in new solver | Michael Goulet | -6/+0 |
| 2023-03-24 | Make EvalCtxt's infcx private | Michael Goulet | -75/+134 |
| 2023-03-24 | Rollup merge of #109495 - compiler-errors:new-solver-destruct, r=eholk,lcnr | Matthias Krüger | -0/+28 |
| 2023-03-23 | Return nested obligations from canonical response var unification | Michael Goulet | -24/+29 |
| 2023-03-23 | Auto merge of #109517 - matthiaskrgr:rollup-m3orqzd, r=matthiaskrgr | bors | -47/+102 |
| 2023-03-23 | Remove AliasRelationDirection::Supertype | Michael Goulet | -67/+69 |
