| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-02-17 | add predicate evaluation logic | Boxy | -10/+38 |
| 2023-02-17 | Add `Clause::ConstArgHasType` variant | Boxy | -0/+26 |
| 2023-02-17 | Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwU | bors | -19/+36 |
| 2023-02-16 | changes from review | Kyle Matsuda | -1/+3 |
| 2023-02-16 | remove bound_type_of query; make type_of return EarlyBinder; change type_of i... | Kyle Matsuda | -19/+19 |
| 2023-02-16 | change usages of type_of to bound_type_of | Kyle Matsuda | -9/+24 |
| 2023-02-17 | Rollup merge of #108136 - eggyal:unmet_trait_alias_bound_on_generic_impl, r=c... | Matthias Krüger | -3/+3 |
| 2023-02-17 | Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillot | Matthias Krüger | -3/+10 |
| 2023-02-16 | Clarify `DerivedObligationCause` may hold alias id | Alan Egerton | -3/+3 |
| 2023-02-16 | Properly check for builtin derives | clubby789 | -1/+1 |
| 2023-02-16 | Auto merge of #108127 - matthiaskrgr:rollup-kpzfc6j, r=matthiaskrgr | bors | -30/+16 |
| 2023-02-16 | Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errors | bors | -7/+6 |
| 2023-02-16 | Replace some `then`s with some `then_some`s | Maybe Waffle | -4/+4 |
| 2023-02-16 | `if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)` | Maybe Waffle | -30/+16 |
| 2023-02-16 | Rollup merge of #108101 - matthiaskrgr:noclonecopy, r=compiler-errors | Dylan DPC | -2/+2 |
| 2023-02-16 | Be better about bound vars | Michael Goulet | -3/+10 |
| 2023-02-15 | don't clone types that are copy | Matthias Krüger | -2/+2 |
| 2023-02-15 | Rollup merge of #108047 - oli-obk:machine->🞋, r=RalfJung | Matthias Krüger | -1/+1 |
| 2023-02-15 | Rollup merge of #108010 - compiler-errors:can_eq-returns-bool, r=lcnr | Matthias Krüger | -10/+11 |
| 2023-02-15 | Copy `ty::AssocItem` all other the place | Maybe Waffle | -12/+12 |
| 2023-02-15 | Use target instead of machine for mir interpreter integer handling. | Oli Scherer | -1/+1 |
| 2023-02-15 | Auto merge of #107940 - BoxyUwU:const_ty_assertion_use_semantic_equality, r=c... | bors | -2/+22 |
| 2023-02-15 | Add specialized variants of `mk_region`. | Nicholas Nethercote | -7/+6 |
| 2023-02-14 | Auto merge of #108056 - matthiaskrgr:rollup-oa6bxvh, r=matthiaskrgr | bors | -2/+26 |
| 2023-02-14 | Rollup merge of #108033 - lcnr:coinductive-attr, r=compiler-errors | Matthias Krüger | -2/+26 |
| 2023-02-14 | Rollup merge of #108029 - oli-obk:🞋_usize, r=RalfJung | Matthias Krüger | -1/+1 |
| 2023-02-14 | Rollup merge of #107739 - spastorino:check-overflow-evaluate_canonical_goal, ... | Matthias Krüger | -88/+139 |
| 2023-02-14 | Reduce visibility of some items | Santiago Pastorino | -9/+9 |
| 2023-02-14 | Check for overflow in evaluate_canonical_goal | Santiago Pastorino | -24/+46 |
| 2023-02-14 | add test for coinduction in new solver | lcnr | -2/+26 |
| 2023-02-14 | Auto merge of #103695 - LYF1999:yf/103563, r=lcnr | bors | -1/+46 |
| 2023-02-14 | s/eval_usize/eval_target_usize/ for clarity | Oli Scherer | -1/+1 |
| 2023-02-13 | Make can_eq and can_sub return booleans | Michael Goulet | -10/+11 |
| 2023-02-13 | Implement repeat_while_none for both SearchGraph and EvalCtxt | Santiago Pastorino | -24/+38 |
| 2023-02-13 | Extract try_move_finished_goal_to_global_cache from try_finalize_goal | Santiago Pastorino | -23/+34 |
| 2023-02-13 | Make Ok value of repeat_while_none more general | Santiago Pastorino | -28/+32 |
| 2023-02-13 | fix: Unexpected trait bound not satisfied in HRTB | yifei | -1/+46 |
| 2023-02-13 | Rename folder traits' `tcx` method to `interner` | Alan Egerton | -16/+16 |
| 2023-02-13 | Make folding traits generic over the Interner | Alan Egerton | -7/+7 |
| 2023-02-13 | Make visiting traits generic over the Interner | Alan Egerton | -8/+8 |
| 2023-02-13 | Workaround issue #107747 | Alan Egerton | -1/+4 |
| 2023-02-13 | Alias folding/visiting traits instead of re-export | Alan Egerton | -19/+18 |
| 2023-02-13 | Reduce direct `mk_ty` usage. | Nicholas Nethercote | -5/+5 |
| 2023-02-13 | Pre-intern some commonly used type variables. | Nicholas Nethercote | -1/+1 |
| 2023-02-12 | rename query and use `NoSolution` | Boxy | -4/+5 |
| 2023-02-11 | make `relate`'s const ty assertion use semantic equality | Boxy | -2/+21 |
| 2023-02-11 | Auto merge of #107919 - Dylan-DPC:rollup-fkl9swa, r=Dylan-DPC | bors | -7/+35 |
| 2023-02-11 | Rollup merge of #105019 - chenyukang:yukang/fix-104961-borrow, r=cjgillot | Dylan DPC | -7/+35 |
| 2023-02-10 | implement `compute_alias_eq_goal` | Boxy | -3/+113 |
| 2023-02-10 | emit `AliasEq` when relating type and const aliases | Boxy | -0/+15 |
