about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2024-04-16Rollup merge of #123016 - compiler-errors:no-type-var-origin, r=lcnrLeón Orell Valerian Liehr-27/+16
2024-04-15Simplify shallow resolver to just fold ty/constsMichael Goulet-16/+15
2024-04-15Remove TypeVariableOriginKindMichael Goulet-27/+16
2024-04-15Rollup merge of #123924 - compiler-errors:tuple-sugg, r=estebankMichael Goulet-0/+55
2024-04-15Rollup merge of #123900 - compiler-errors:nobound, r=lcnrMichael Goulet-23/+20
2024-04-15PolyTraitRefs -> TraitRefsMichael Goulet-9/+4
2024-04-15Stop using PolyTraitRef for closure/coroutine predicates already instantiated...Michael Goulet-24/+26
2024-04-14Rollup merge of #123618 - compiler-errors:overflow-ambig, r=spastorinoGuillaume Gomez-6/+18
2024-04-14Fix 1-tuple value suggestionMichael Goulet-5/+4
2024-04-14Fix value suggestion for array in generic contextMichael Goulet-5/+3
2024-04-14Consolidate two copies of ty_kind_suggestionMichael Goulet-0/+58
2024-04-09Add a helper for extending a span to include any trailing whitespaceMichael Goulet-6/+2
2024-04-09Rollup merge of #123662 - compiler-errors:no-upvars-yet, r=oli-obkGuillaume Gomez-33/+36
2024-04-08Don't rely on upvars being assigned just because coroutine-closure kind is as...Michael Goulet-33/+36
2024-04-08Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnrbors-43/+60
2024-04-08Rollup merge of #123578 - lqd:regression-123275, r=compiler-errorsMatthias Krüger-3/+47
2024-04-08Rollup merge of #123367 - jswrenn:layoutify, r=compiler-errorsMatthias Krüger-16/+58
2024-04-08Compute transmutability from `rustc_target::abi::Layout`Jack Wrenn-16/+58
2024-04-08Scrape extraneous regions from instantiate_nll_query_response_and_region_obli...Oli Scherer-43/+60
2024-04-08Actually create ranged int types in the type system.Oli Scherer-7/+35
2024-04-07Discard overflow obligations in impl_may_applyMichael Goulet-6/+18
2024-04-06Revert "remove `pred_known_to_hold_modulo_regions`"Rémy Rakic-3/+47
2024-04-06Add a debug asserts call to match_projection_projections to ensure invariantSantiago Pastorino-0/+2
2024-04-06Auto merge of #123471 - compiler-errors:match_projection_projections, r=oli-obkbors-0/+3
2024-04-05Auto merge of #122747 - Urgau:non-local-defs_perfect_impl, r=lcnrbors-12/+24
2024-04-05Expose rustc_trait_selection::error_reporting::ambiguity moduleUrgau-12/+13
2024-04-05Take the polarity into account in compute_applicable_implsUrgau-0/+11
2024-04-05Rollup merge of #123496 - lcnr:wf-ping, r=compiler-errorsGuillaume Gomez-2/+0
2024-04-05Rollup merge of #122894 - compiler-errors:downgrade, r=lcnrGuillaume Gomez-4/+5
2024-04-05ping on wf changes, remove fixmelcnr-2/+0
2024-04-04Rollup merge of #123464 - fmease:rn-has-proj-to-has-aliases, r=compiler-errorsJacob Pratt-5/+7
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-13/+38
2024-04-04Rename HAS_PROJECTIONS to HAS_ALIASES etc.León Orell Valerian Liehr-5/+7
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-04Use `DefineOpaqueTypes::Yes` where the new solver is unconditionally used alr...Oli Scherer-3/+7
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-04Auto merge of #119820 - lcnr:leak-check-2, r=jackh726bors-14/+62
2024-04-04Auto merge of #123440 - jhpratt:rollup-yat6crk, r=jhprattbors-1/+1
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-1/+1
2024-04-04Auto merge of #123240 - compiler-errors:assert-args-compat, r=fmeasebors-48/+5
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-46/+5
2024-04-03Stop chopping off args for no reasonMichael Goulet-2/+0