| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-05-25 | Fallible<_> -> Result<_, NoSolution> | Michael Goulet | -2/+2 |
| 2023-05-25 | Add InferCtxt::register_hidden_type_in_new_solver | Michael Goulet | -0/+23 |
| 2023-05-25 | Move DefiningAnchor | Michael Goulet | -14/+3 |
| 2023-05-25 | Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu... | Michael Goulet | -26/+57 |
| 2023-05-24 | Use `Option::is_some_and` and `Result::is_ok_and` in the compiler | Maybe Waffle | -7/+7 |
| 2023-05-20 | Rollup merge of #111450 - compiler-errors:opaque-ty-key, r=oli-obk | Guillaume Gomez | -6/+22 |
| 2023-05-18 | do not overwrite obligations | lcnr | -7/+6 |
| 2023-05-16 | Rollup merge of #111602 - tmiasko:erroneous-constant-used, r=oli-obk | Nilstrieb | -1/+1 |
| 2023-05-15 | Replace RelationDir with Variance | Michael Goulet | -63/+29 |
| 2023-05-15 | Rename super_relate_* to structurally_relate_* | Michael Goulet | -7/+7 |
| 2023-05-15 | Tweaks and a test | Michael Goulet | -51/+52 |
| 2023-05-15 | yeet ConstInferUnifier | Michael Goulet | -180/+63 |
| 2023-05-15 | Simplify delegate | Michael Goulet | -69/+70 |
| 2023-05-15 | Combine TypeGeneralizer and Generalizer | Michael Goulet | -588/+467 |
| 2023-05-15 | Auto merge of #111570 - compiler-errors:ct-err, r=BoxyUwU | bors | -2/+2 |
| 2023-05-15 | Suppress "erroneous constant used" for constants tainted by errors | Tomasz Miąsko | -1/+1 |
| 2023-05-14 | Rename const error methods for consistency | Michael Goulet | -2/+2 |
| 2023-05-13 | Rollup merge of #110454 - oli-obk:limited_impl_trait_in_assoc_type, r=compile... | Dylan DPC | -3/+17 |
| 2023-05-12 | Auto merge of #109732 - Urgau:uplift_drop_forget_ref_lints, r=davidtwco | bors | -1/+1 |
| 2023-05-12 | Use the opaque_types_defined_by query to cheaply check for whether a hidden t... | Oli Scherer | -124/+13 |
| 2023-05-12 | Require `impl Trait` in associated types to appear in method signatures | Oli Scherer | -10/+135 |
| 2023-05-10 | Use OpaqueTypeKey in query response | Michael Goulet | -6/+22 |
| 2023-05-10 | Remove and fix useless drop of reference | Urgau | -1/+1 |
| 2023-05-09 | add EarlyBinder to thir_abstract_const; remove tcx.bound_abstract_const | Kyle Matsuda | -1/+1 |
| 2023-05-08 | Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errors | Michael Goulet | -5/+11 |
| 2023-05-08 | Auto merge of #106621 - ozkanonur:enable-elided-lifetimes-for-doctests, r=Mar... | bors | -9/+11 |
| 2023-05-07 | Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillot | bors | -4/+4 |
| 2023-05-07 | enable `rust_2018_idioms` for doctests | ozkanonur | -9/+11 |
| 2023-05-06 | Rollup merge of #110577 - compiler-errors:drop-impl-fulfill, r=lcnr | Matthias Krüger | -0/+11 |
| 2023-05-05 | forbid escaping bound vars in combine | lcnr | -14/+8 |
| 2023-05-05 | Rollup merge of #111132 - lcnr:nll-generalize, r=b-naber | Yuki Okushi | -105/+7 |
| 2023-05-04 | Use fulfillment to check Drop impl compatibility | Michael Goulet | -0/+11 |
| 2023-05-04 | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | -5/+11 |
| 2023-05-04 | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr | bors | -6/+11 |
| 2023-05-03 | Rename things to reflect that they're not item specific | Michael Goulet | -4/+4 |
| 2023-05-03 | remove `inside_canonicalization_ctxt` flag | lcnr | -37/+0 |
| 2023-05-04 | Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obk | Dylan DPC | -0/+4 |
| 2023-05-03 | cleanup nll generalizer | lcnr | -68/+7 |
| 2023-05-03 | Restrict `From<S>` for `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | -23/+23 |
| 2023-05-02 | Make negative trait bounds work with the old trait solver | Michael Goulet | -0/+4 |
| 2023-04-27 | Rollup merge of #110838 - nnethercote:more-Folder-Visitable-cleanups, r=lcnr | Matthias Krüger | -1/+1 |
| 2023-04-27 | rename `needs_infer` to `has_infer` | Boxy | -9/+9 |
| 2023-04-26 | Remove unused `TypeFoldable`/`TypeVisitable` impls. | Nicholas Nethercote | -1/+1 |
| 2023-04-25 | Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com... | Matthias Krüger | -2/+2 |
| 2023-04-25 | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new` | Maybe Waffle | -6/+11 |
| 2023-04-25 | Rollup merge of #110563 - bryangarza:refactor-trait-selection-error-reporting... | Matthias Krüger | -1/+1 |
| 2023-04-24 | Split `{Idx, IndexVec, IndexSlice}` into their own modules | Maybe Waffle | -8/+8 |
| 2023-04-22 | Auto merge of #109753 - compiler-errors:replenish-region-constraints, r=aliemjay | bors | -2/+2 |
| 2023-04-21 | Break up long function in trait selection error reporting | Bryan Garza | -1/+1 |
| 2023-04-21 | Clone region var origins instead of taking in borrowck | Michael Goulet | -2/+2 |
