| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-04-08 | Rollup merge of #123578 - lqd:regression-123275, r=compiler-errors | Matthias Krüger | -3/+47 |
| 2024-04-08 | Rollup merge of #123367 - jswrenn:layoutify, r=compiler-errors | Matthias Krüger | -16/+58 |
| 2024-04-08 | Compute transmutability from `rustc_target::abi::Layout` | Jack Wrenn | -16/+58 |
| 2024-04-08 | Avoid fetching the opaque type origin when only "is this in the defining scop... | Oli Scherer | -7/+4 |
| 2024-04-08 | Eliminate `DefiningAnchor` now that is just a single-variant enum | Oli Scherer | -1/+1 |
| 2024-04-08 | Scrape extraneous regions from instantiate_nll_query_response_and_region_obli... | Oli Scherer | -43/+60 |
| 2024-04-08 | Pass list of defineable opaque types into canonical queries | Oli Scherer | -6/+4 |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -8/+51 |
| 2024-04-07 | Discard overflow obligations in impl_may_apply | Michael Goulet | -6/+18 |
| 2024-04-06 | Revert "remove `pred_known_to_hold_modulo_regions`" | Rémy Rakic | -3/+47 |
| 2024-04-06 | Add a debug asserts call to match_projection_projections to ensure invariant | Santiago Pastorino | -0/+2 |
| 2024-04-06 | Auto merge of #123471 - compiler-errors:match_projection_projections, r=oli-obk | bors | -0/+3 |
| 2024-04-05 | Auto merge of #122747 - Urgau:non-local-defs_perfect_impl, r=lcnr | bors | -12/+24 |
| 2024-04-05 | Expose rustc_trait_selection::error_reporting::ambiguity module | Urgau | -12/+13 |
| 2024-04-05 | Take the polarity into account in compute_applicable_impls | Urgau | -0/+11 |
| 2024-04-05 | Rollup merge of #123496 - lcnr:wf-ping, r=compiler-errors | Guillaume Gomez | -2/+0 |
| 2024-04-05 | Rollup merge of #122894 - compiler-errors:downgrade, r=lcnr | Guillaume Gomez | -4/+5 |
| 2024-04-05 | ping on wf changes, remove fixme | lcnr | -2/+0 |
| 2024-04-04 | Rollup merge of #123477 - lcnr:forced_ambig-no-ice, r=compiler-errors | Jacob Pratt | -3/+10 |
| 2024-04-04 | Rollup merge of #123464 - fmease:rn-has-proj-to-has-aliases, r=compiler-errors | Jacob Pratt | -7/+9 |
| 2024-04-04 | Rollup merge of #123363 - lcnr:normalizes-to-zero-to-inf, r=BoxyUwU | Jacob Pratt | -257/+138 |
| 2024-04-05 | do not ICE in forced ambiguity if we get an error | lcnr | -3/+10 |
| 2024-04-04 | Check def id before calling match_projection_projections | Michael Goulet | -0/+3 |
| 2024-04-04 | Auto merge of #121394 - oli-obk:define_opaque_types, r=compiler-errors | bors | -21/+54 |
| 2024-04-04 | Rename HAS_PROJECTIONS to HAS_ALIASES etc. | León Orell Valerian Liehr | -7/+9 |
| 2024-04-04 | Allow defining opaque types when checking const equality bounds | Oli Scherer | -6/+18 |
| 2024-04-04 | Add some regression tests for opaque types and const generics | Oli Scherer | -2/+4 |
| 2024-04-04 | normalizes-to change from '1' to '0 to inf' steps | lcnr | -237/+136 |
| 2024-04-04 | Use `DefineOpaqueTypes::Yes` where the new solver is unconditionally used alr... | Oli Scherer | -11/+23 |
| 2024-04-04 | Specialization can switch to `DefineOpaqueTypes::Yes` without having an effect. | Oli Scherer | -1/+6 |
| 2024-04-04 | Use `DefineOpaqueTypes::Yes` in diagnostics code | Oli Scherer | -1/+3 |
| 2024-04-04 | Auto merge of #115538 - lcnr:fn-def-wf, r=compiler-errors | bors | -7/+21 |
| 2024-04-04 | unconstrained `NormalizesTo` term for opaques | lcnr | -27/+9 |
| 2024-04-04 | Auto merge of #119820 - lcnr:leak-check-2, r=jackh726 | bors | -14/+62 |
| 2024-04-04 | Auto merge of #123440 - jhpratt:rollup-yat6crk, r=jhpratt | bors | -2/+2 |
| 2024-04-04 | rebase | Boxy | -2/+2 |
| 2024-04-04 | check `FnDef` return type for WF | lcnr | -7/+21 |
| 2024-04-03 | Rollup merge of #123401 - Zalathar:assert-size-aarch64, r=fmease | Jacob Pratt | -2/+2 |
| 2024-04-04 | Auto merge of #123240 - compiler-errors:assert-args-compat, r=fmease | bors | -50/+7 |
| 2024-04-03 | move leak check out of candidate evaluation | lcnr | -14/+62 |
| 2024-04-03 | rustc_index: Add a `ZERO` constant to index types | Vadim Petrochenkov | -5/+1 |
| 2024-04-03 | Uplift and start using check_args_compatible more liberally | Michael Goulet | -48/+7 |
| 2024-04-03 | Stop chopping off args for no reason | Michael Goulet | -2/+0 |
| 2024-04-03 | Check `x86_64` size assertions on `aarch64`, too | Zalathar | -2/+2 |
| 2024-04-03 | Auto merge of #123396 - jhpratt:rollup-oa54mh1, r=jhpratt | bors | -1/+1 |
| 2024-04-02 | Rollup merge of #122865 - surechen:refactor_astconv_error_report_20240321, r=... | Jacob Pratt | -1/+1 |
| 2024-04-03 | Auto merge of #122791 - compiler-errors:make-coinductive-always, r=lcnr | bors | -42/+5 |
| 2024-04-02 | Auto merge of #123340 - fmease:rustdoc-simplify-auto-trait-impl-synth, r=Guil... | bors | -40/+22 |
| 2024-04-02 | t plit astconv's error report code in check functions to mod errors. | surechen | -1/+1 |
| 2024-04-01 | Fix obligation param and bless tests | Michael Goulet | -40/+18 |
