summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/mod.rs
AgeCommit message (Expand)AuthorLines
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-11/+9
2022-05-14Add bound_explicit_item_bounds and bound_item_boundsJack Huey-1/+1
2022-05-13Add bound_impl_trait_refJack Huey-3/+3
2022-05-13Add bound_type_ofJack Huey-1/+1
2022-05-10Introduce EarlyBinderJack Huey-10/+8
2022-05-10only_local: always check for misuselcnr-3/+3
2022-05-07Auto merge of #96094 - Elliot-Roberts:fix_doctests, r=compiler-errorsbors-1/+1
2022-05-05Don't cache results of coinductive cycleAaron Hill-59/+18
2022-05-04Revert #92191 Prefer projection candidates instead of param_env candidates fo...Jack Huey-12/+8
2022-05-02fix most compiler/ doctestsElliot Roberts-1/+1
2022-04-04Auto merge of #95031 - compiler-errors:param-env-cache, r=Aaron1011bors-8/+8
2022-03-31Rollup merge of #95497 - nyurik:compiler-spell-comments, r=compiler-errorsDylan DPC-6/+6
2022-03-31Rollup merge of #94869 - jackh726:gats_extended, r=compiler-errorsDylan DPC-4/+5
2022-03-30Add the generic_associated_types_extended featureJack Huey-4/+5
2022-03-30Spellchecking compiler commentsYuri Astrakhan-6/+6
2022-03-28Remove opaque type obligation and just register opaque types as they are enco...Oli Scherer-13/+0
2022-03-28Don't bind hidden types when searching for matching implsOli Scherer-0/+1
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-9/+40
2022-03-26Do not use ParamEnv::and to cache param-env with candidateMichael Goulet-8/+8
2022-03-27Remove SelectionContext::allow_negative_impls fieldGuillaume Gomez-24/+0
2022-03-26Fix perf issue for auto trait selectionGuillaume Gomez-2/+2
2022-03-25Rollup merge of #95179 - b-naber:eval-in-try-unify, r=lcnrDylan DPC-1/+5
2022-03-25Rollup merge of #94391 - light4:issue-90319, r=estebankDylan DPC-8/+10
2022-03-25Fix ice when error reporting recursion errorslightning1141-8/+10
2022-03-24Auto merge of #91030 - estebank:trait-bounds-are-tricky-2, r=oli-obkbors-18/+19
2022-03-24Properly track `ImplObligation`sEsteban Kuber-18/+19
2022-03-23Rollup merge of #95069 - GuillaumeGomez:auto-traits-rustdoc, r=oli-obkMatthias Krüger-2/+2
2022-03-22fix previous failures and address reviewb-naber-1/+5
2022-03-21Rename `~const Drop` to `~const Destruct`Deadbeef-4/+4
2022-03-18Fix incorrect auto trait displayed in rustdocGuillaume Gomez-2/+2
2022-03-17Rollup merge of #94960 - codehorseman:master, r=oli-obkDylan DPC-1/+1
2022-03-16rustc_error: make ErrorReported impossible to constructmark-3/+3
2022-03-16resolve the conflict in compiler/rustc_session/src/parse.rscodehorseman-1/+1
2022-03-03Rollup merge of #94057 - lcnr:simplify_type-uwu, r=nikomatsakisMatthias Krüger-6/+9
2022-03-03Auto merge of #84944 - lcnr:obligation-dedup, r=jackh726bors-22/+0
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-3/+3
2022-03-019 - Make more use of `let_chains`Caio-18/+16
2022-02-23Replace `&mut DiagnosticBuilder`, in signatures, with `&mut Diagnostic`.Eduard-Mihai Burtescu-2/+2
2022-02-21Auto merge of #94225 - matthiaskrgr:rollup-0728x8n, r=matthiaskrgrbors-1/+1
2022-02-21update docs for `simplify_type`lcnr-6/+9
2022-02-21rename functionlcnr-1/+1
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-5/+3
2022-02-20Auto merge of #94062 - Mark-Simulacrum:drop-print-cfg, r=oli-obkbors-1/+1
2022-02-18Rollup merge of #93892 - compiler-errors:issue-92917, r=jackh726,nikomatsakisMatthias Krüger-3/+35
2022-02-16Move ty::print methods to Drop-based scope guardsMark Rousskov-1/+1
2022-02-15Overhaul `Const`.Nicholas Nethercote-4/+4
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-1/+1
2022-02-14use an enum in matches_projection_projectionMichael Goulet-13/+24
2022-02-14fast_reject: remove `StripReferences`lcnr-8/+3
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-40/+9