about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2024-04-05ping on wf changes, remove fixmelcnr-2/+0
2024-04-04Rollup merge of #123477 - lcnr:forced_ambig-no-ice, r=compiler-errorsJacob Pratt-3/+10
2024-04-04Rollup merge of #123464 - fmease:rn-has-proj-to-has-aliases, r=compiler-errorsJacob Pratt-7/+9
2024-04-04Rollup merge of #123363 - lcnr:normalizes-to-zero-to-inf, r=BoxyUwUJacob Pratt-257/+138
2024-04-05do not ICE in forced ambiguity if we get an errorlcnr-3/+10
2024-04-04Check def id before calling match_projection_projectionsMichael Goulet-0/+3
2024-04-04Auto merge of #121394 - oli-obk:define_opaque_types, r=compiler-errorsbors-21/+54
2024-04-04Rename HAS_PROJECTIONS to HAS_ALIASES etc.León Orell Valerian Liehr-7/+9
2024-04-04Allow defining opaque types when checking const equality boundsOli Scherer-6/+18
2024-04-04Add some regression tests for opaque types and const genericsOli Scherer-2/+4
2024-04-04normalizes-to change from '1' to '0 to inf' stepslcnr-237/+136
2024-04-04Use `DefineOpaqueTypes::Yes` where the new solver is unconditionally used alr...Oli Scherer-11/+23
2024-04-04Specialization can switch to `DefineOpaqueTypes::Yes` without having an effect.Oli Scherer-1/+6
2024-04-04Use `DefineOpaqueTypes::Yes` in diagnostics codeOli Scherer-1/+3
2024-04-04Auto merge of #115538 - lcnr:fn-def-wf, r=compiler-errorsbors-7/+21
2024-04-04unconstrained `NormalizesTo` term for opaqueslcnr-27/+9
2024-04-04Auto merge of #119820 - lcnr:leak-check-2, r=jackh726bors-14/+62
2024-04-04Auto merge of #123440 - jhpratt:rollup-yat6crk, r=jhprattbors-2/+2
2024-04-04rebaseBoxy-2/+2
2024-04-04check `FnDef` return type for WFlcnr-7/+21
2024-04-03Rollup merge of #123401 - Zalathar:assert-size-aarch64, r=fmeaseJacob Pratt-2/+2
2024-04-04Auto merge of #123240 - compiler-errors:assert-args-compat, r=fmeasebors-50/+7
2024-04-03move leak check out of candidate evaluationlcnr-14/+62
2024-04-03rustc_index: Add a `ZERO` constant to index typesVadim Petrochenkov-5/+1
2024-04-03Uplift and start using check_args_compatible more liberallyMichael Goulet-48/+7
2024-04-03Stop chopping off args for no reasonMichael Goulet-2/+0
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-2/+2
2024-04-03Auto merge of #123396 - jhpratt:rollup-oa54mh1, r=jhprattbors-1/+1
2024-04-02Rollup merge of #122865 - surechen:refactor_astconv_error_report_20240321, r=...Jacob Pratt-1/+1
2024-04-03Auto merge of #122791 - compiler-errors:make-coinductive-always, r=lcnrbors-42/+5
2024-04-02Auto merge of #123340 - fmease:rustdoc-simplify-auto-trait-impl-synth, r=Guil...bors-40/+22
2024-04-02t plit astconv's error report code in check functions to mod errors.surechen-1/+1
2024-04-01Fix obligation param and bless testsMichael Goulet-40/+18
2024-04-01Instantiate closure-like bounds with placeholders to deal with binders correctlyMichael Goulet-82/+88
2024-04-02rustdoc: heavily simplify synthesis of auto trait implsLeón Orell Valerian Liehr-11/+4
2024-04-01rustdoc: synthetic impls: auto traits: Fx{Hash↦Index}{Map,Set}León Orell Valerian Liehr-29/+18
2024-03-31Remove EvaluatedToErrStackDependentMichael Goulet-42/+5
2024-03-31Always make inductive cycles as ambig during typeckMichael Goulet-1/+1
2024-03-30Stop calling visitors VMichael Goulet-4/+5
2024-03-29Rollup merge of #123188 - klensy:clippy-me2, r=NilstriebMatthias Krüger-6/+6
2024-03-28fix few moreklensy-5/+5
2024-03-28compiler: fix unused_peekable clippy lintklensy-1/+1
2024-03-27Don't sort `DefId`s in suggestionsOli Scherer-3/+8
2024-03-27Remove `Partial/Ord` from `BoundRegion`Oli Scherer-5/+6
2024-03-27Remove `Ord` from `BoundTy`Oli Scherer-6/+6
2024-03-27Use `TraitRef::to_string` sorting in favor of `TraitRef::ord`, as the latter ...Oli Scherer-2/+2
2024-03-25Auto merge of #122802 - estebank:unconstrained-generic-const, r=Nadrierilbors-5/+32
2024-03-23Rollup merge of #122780 - GuillaumeGomez:rename-hir-local, r=oli-obkMatthias Krüger-8/+8
2024-03-22Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgrbors-52/+57
2024-03-22Move check for error in impl header outside of reportingMichael Goulet-4/+5