about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2022-07-12Rollup merge of #99038 - jackh726:earlybinder-cleanup, r=lcnrDylan DPC-2/+2
2022-07-12Move abstract const to rustc_middle::tykadmin-1/+1
2022-07-10Remove duplicate notes from error on inter-crate ambiguous impl of traits (fi...rhysd-8/+8
2022-07-08Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiserbors-0/+4
2022-07-08Highlight conflicting param-env candidatesMichael Goulet-2/+41
2022-07-07Use map_boundJack Huey-2/+2
2022-07-06Update TypeVisitor pathsAlan Egerton-2/+2
2022-06-30Make `evaluate_obligation` not succeed unconditionally if it registered new h...Oli Scherer-0/+4
2022-06-29Auto merge of #98656 - Dylan-DPC:rollup-hhytn0c, r=Dylan-DPCbors-3/+3
2022-06-29Auto merge of #98542 - jackh726:coinductive-wf, r=oli-obkbors-15/+100
2022-06-28Fix trait object reborrow suggestionMichael Goulet-3/+3
2022-06-28Take into account trait predicate coinductivenessJack Huey-6/+36
2022-06-28Make empty bounds lower to WellFormed and make WellFormed coinductiveJack Huey-15/+70
2022-06-15Rename `impl_constness` to `constness`Deadbeef-3/+2
2022-06-14rebaseb-naber-5/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-8/+14
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-4/+4
2022-06-10bound_vars -> infer: don't return lt maplcnr-9/+6
2022-05-28Fix TyKind lint, make consts no longer fn, etcMichael Goulet-2/+2
2022-05-28Initial fixes on top of type interner commitMichael Goulet-1/+1
2022-05-25move fast reject test out of `SelectionContext::match_impl`.lcnr-11/+12
2022-05-25add a deep fast_reject routinelcnr-36/+5
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-1/+1
2022-05-19Auto merge of #97024 - lcnr:simplify_type-sus, r=<try>bors-6/+3
2022-05-18fix `simplify_type`lcnr-6/+3
2022-05-18Rollup merge of #95979 - lcnr:coherence-docs, r=compiler-errorsDylan DPC-12/+18
2022-05-17Auto merge of #96892 - oli-obk:🐌_obligation_cause_code_🐌, r=estebankbors-72/+24
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-19/+19
2022-05-14Add bound_explicit_item_bounds and bound_item_boundsJack Huey-26/+27
2022-05-13Add bound_impl_trait_refJack Huey-3/+3
2022-05-13Add bound_type_ofJack Huey-5/+5
2022-05-10Introduce EarlyBinderJack Huey-36/+35
2022-05-10Remove `clone_code` methodOli Scherer-23/+14
2022-05-10Remove another use of clone_codeOli Scherer-12/+10
2022-05-10only_local: always check for misuselcnr-3/+3
2022-05-10Move an extension trait method onto the type directly and reuse itOli Scherer-37/+0
2022-05-10update coherence docs, fix opaque type + generator icelcnr-12/+18
2022-05-07Auto merge of #96094 - Elliot-Roberts:fix_doctests, r=compiler-errorsbors-4/+4
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-16/+8
2022-05-02fix most compiler/ doctestsElliot Roberts-4/+4
2022-04-15Rollup merge of #95749 - compiler-errors:ambig, r=oli-obkDylan DPC-2/+2
2022-04-06only downgrade Error -> Ambiguous if type error is in predicateMichael Goulet-2/+2
2022-04-05rustc_trait_selection changesPietro Albini-18/+0
2022-04-04Auto merge of #95031 - compiler-errors:param-env-cache, r=Aaron1011bors-8/+8
2022-04-02Make GATs object safe under generic_associated_types_extended featureJack Huey-4/+66
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 04:23:21 +0000