about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2024-04-23Wrap dyn type with parentheses in suggestionlong-long-float-8/+19
2024-04-22Use `DefiningOpaqueTypes::Yes`, as the `InferCtxt` we use has no opaque types...Oli Scherer-1/+1
2024-04-22Fix copy-paste typo in the comment within consider_builtin_async_destruct_can...Daria Sukhonina-2/+2
2024-04-22Exhaustivelly match TyKind in consider_builtin_async_destruct_candidateDaria Sukhonina-1/+1
2024-04-21Pass translation closure to add_to_diag_with() as referenceXiretza-1/+1
2024-04-20merge two impl blocksLukas Markeffsky-2/+0
2024-04-20remove `InferCtxt::clear_caches`Lukas Markeffsky-3/+0
2024-04-20include ParamEnv in projection cache keyLukas Markeffsky-11/+16
2024-04-19Stop taking ParamTy/ParamConst/EarlyParamRegion/AliasTy by refMichael Goulet-6/+6
2024-04-19Let inherent associated types constrain opaque types during projectionOli Scherer-1/+1
2024-04-18Auto merge of #124008 - nnethercote:simpler-static_assert_size, r=Nilstriebbors-2/+2
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-2/+2
2024-04-17Use non-exhaustive matches for TyKindDaria Sukhonina-8/+8
2024-04-17Rename `BindingAnnotation` to `BindingMode`Jules Bertholet-3/+1
2024-04-17Rollup merge of #122813 - nnethercote:nicer-quals, r=compiler-errorsMatthias Krüger-7/+6
2024-04-17Auto merge of #124040 - GuillaumeGomez:rollup-hrrvsgh, r=GuillaumeGomezbors-4/+14
2024-04-17Rollup merge of #124000 - compiler-errors:sugg-tweaks, r=wesleywiserGuillaume Gomez-4/+11
2024-04-17Rollup merge of #123673 - oli-obk:sig_wfcheck_ice, r=jieyouxu,estebankGuillaume Gomez-0/+3
2024-04-16Auto merge of #123537 - compiler-errors:shallow, r=lcnrbors-17/+16
2024-04-16Add simple async drop glue generationzetanumbers-1/+117
2024-04-16Don't ICE for kind mismatches during error renderingOli Scherer-0/+3
2024-04-16Fail candidate assembly for erroneous typesGurinder Singh-1/+12
2024-04-16Avoid lots of `hir::HirId{,Map,Set}` qualifiers.Nicholas Nethercote-2/+2
2024-04-16Avoid unnecessary `rustc_span::DUMMY_SP` usage.Nicholas Nethercote-5/+4
2024-04-15Make array suggestions slightly more accurateMichael Goulet-3/+10
2024-04-15Use /* value */ as a placeholderMichael Goulet-1/+1
2024-04-16Rollup merge of #123016 - compiler-errors:no-type-var-origin, r=lcnrLeón Orell Valerian Liehr-47/+25
2024-04-15Simplify shallow resolver to just fold ty/constsMichael Goulet-17/+16
2024-04-15Remove ConstVariableOriginKindMichael Goulet-10/+4
2024-04-15Remove TypeVariableOriginKindMichael Goulet-37/+21
2024-04-15Rollup merge of #123924 - compiler-errors:tuple-sugg, r=estebankMichael Goulet-0/+56
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/+4
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-35/+47
2024-04-08Don't rely on upvars being assigned just because coroutine-closure kind is as...Michael Goulet-35/+47
2024-04-08Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnrbors-56/+68
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-08Avoid fetching the opaque type origin when only "is this in the defining scop...Oli Scherer-7/+4
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-1/+1
2024-04-08Scrape extraneous regions from instantiate_nll_query_response_and_region_obli...Oli Scherer-43/+60
2024-04-08Pass list of defineable opaque types into canonical queriesOli Scherer-6/+4
2024-04-08Actually create ranged int types in the type system.Oli Scherer-8/+51