| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-03-23 | use NonHirLiteral instead of ScalarLiteral, move pattern related code to pat_... | b-naber | -12/+17 |
| 2022-03-23 | move ExprKind::Repeat arm to expr_is_poly | b-naber | -10/+10 |
| 2022-03-23 | use ParamConst in ExprKind::ConstParam | b-naber | -2/+6 |
| 2022-03-23 | remove thir::Visitor::visit_const | b-naber | -8/+18 |
| 2022-03-23 | change thir to lazily create constants | b-naber | -8/+60 |
| 2022-03-22 | better errors when a Copy impl is not coherent | Michael Goulet | -2/+2 |
| 2022-03-22 | erase region in ParamEnvAnd and make ConstUnifyCtxt private | b-naber | -8/+4 |
| 2022-03-22 | dont canonicalize in try_unify_abstract_consts and erase regions instead | b-naber | -21/+12 |
| 2022-03-22 | impl_header -> impl_subject | Santiago Pastorino | -1/+1 |
| 2022-03-22 | fix previous failures and address review | b-naber | -99/+126 |
| 2022-03-21 | try to evaluate in try_unify | b-naber | -29/+59 |
| 2022-03-21 | Tidy up | Deadbeef | -4/+8 |
| 2022-03-21 | Rename `~const Drop` to `~const Destruct` | Deadbeef | -34/+70 |
| 2022-03-20 | Filter OnceNote in diagnostic infra. | Camille GILLOT | -73/+56 |
| 2022-03-20 | Extract ImplSubject information | Santiago Pastorino | -37/+38 |
| 2022-03-18 | Minor documentation type fixes h/t @pierwill | Santiago Pastorino | -2/+2 |
| 2022-03-18 | Extract obligations_satisfiable fn | Santiago Pastorino | -42/+44 |
| 2022-03-18 | Fix inherent impls on negative coherence | Santiago Pastorino | -43/+67 |
| 2022-03-18 | Fix incorrect auto trait displayed in rustdoc | Guillaume Gomez | -2/+2 |
| 2022-03-18 | Rollup merge of #95039 - spastorino:overlap-super-predicates, r=nikomatsakis | Matthias Krüger | -32/+58 |
| 2022-03-17 | Rollup merge of #94960 - codehorseman:master, r=oli-obk | Dylan DPC | -7/+7 |
| 2022-03-17 | Update compiler/rustc_trait_selection/src/traits/coherence.rs | Niko Matsakis | -1/+0 |
| 2022-03-17 | Use let else here | Santiago Pastorino | -26/+26 |
| 2022-03-17 | Add more commments | Santiago Pastorino | -0/+2 |
| 2022-03-17 | This test now works | Santiago Pastorino | -0/+1 |
| 2022-03-17 | Extract obligation resolution to function | Santiago Pastorino | -30/+46 |
| 2022-03-17 | Make negative coherence work when there's impl negative on super predicates | Santiago Pastorino | -8/+16 |
| 2022-03-16 | rustc_error: make ErrorReported impossible to construct | mark | -77/+92 |
| 2022-03-16 | resolve the conflict in compiler/rustc_session/src/parse.rs | codehorseman | -7/+7 |
| 2022-03-15 | Rollup merge of #94947 - Dylan-DPC:fix/typos, r=oli-obk | Matthias Krüger | -1/+1 |
| 2022-03-15 | Auto merge of #92285 - compiler-errors:dyn-proj-bounds, r=nikomatsakis | bors | -15/+13 |
| 2022-03-15 | fix typos | Dylan DPC | -1/+1 |
| 2022-03-14 | check all dyn obligations, actually | Michael Goulet | -17/+13 |
| 2022-03-14 | check Projection supertrait bounds when confirming dyn candidate | Michael Goulet | -1/+3 |
| 2022-03-14 | Rollup merge of #93977 - compiler-errors:sized-generic-metadata, r=wesleywiser | Matthias Krüger | -5/+30 |
| 2022-03-11 | Improve `AdtDef` interning. | Nicholas Nethercote | -16/+16 |
| 2022-03-10 | Rollup merge of #94440 - compiler-errors:issue-94282, r=lcnr | Matthias Krüger | -25/+63 |
| 2022-03-10 | Rollup merge of #94746 - notriddle:notriddle/method-rustc-on-unimplemented, r... | Matthias Krüger | -1/+5 |
| 2022-03-09 | suggest enabling generic_const_exprs feature if const is unevaluatable | Michael Goulet | -25/+64 |
| 2022-03-09 | diagnostics: use rustc_on_unimplemented to recommend `[].iter()` | Michael Howell | -1/+5 |
| 2022-03-09 | normalization change and rebase | b-naber | -1/+1 |
| 2022-03-09 | treat all mir::Constant values as ConstantKind::Val | b-naber | -1/+16 |
| 2022-03-08 | Rollup merge of #94689 - compiler-errors:on-unimplemented-substs, r=petrochenkov | Dylan DPC | -34/+40 |
| 2022-03-07 | Try to normalize associated types before processing obligations | Jack Huey | -10/+97 |
| 2022-03-06 | allow referencing impl substs from rustc_on_unimplemented | Michael Goulet | -23/+27 |
| 2022-03-06 | use impl substs in on_unimplemented | Michael Goulet | -11/+13 |
| 2022-03-07 | remove unnecessary `..` patterns | Takayuki Maeda | -1/+1 |
| 2022-03-03 | opaque types may also be sized | Michael Goulet | -4/+12 |
| 2022-03-03 | type parameters have unit metadata if they are sized | Michael Goulet | -5/+22 |
| 2022-03-03 | Rollup merge of #94057 - lcnr:simplify_type-uwu, r=nikomatsakis | Matthias Krüger | -13/+21 |
