summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/mod.rs
AgeCommit message (Expand)AuthorLines
2023-01-17Rollup merge of #106970 - kylematsuda:earlybinder-item-bounds, r=lcnrMatthias Krüger-1/+1
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-5/+5
2023-01-17change item_bounds query to return EarlyBinder; remove bound_item_bounds queryKyle Matsuda-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-5/+5
2023-01-15Remove bound_{explicit,}_item_boundsMichael Goulet-7/+6
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-1/+1
2023-01-13Auto merge of #106004 - fee1-dead-contrib:const-closures, r=oli-obkbors-12/+15
2023-01-12attempt to make a minimal example workDeadbeef-12/+15
2023-01-11Filter impl and where-clause candidates that reference errorsMichael Goulet-0/+3
2023-01-08Add type flags support for Ty and Const late-bound regionsMichael Goulet-4/+3
2022-12-28Allow trait method paths to satisfy const Fn boundsDeadbeef-0/+8
2022-12-19implement the skeleton of the updated trait solverlcnr-13/+1
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-2/+2
2022-12-13Combine identical alias armsMichael Goulet-7/+3
2022-12-13Combine projection and opaque into aliasMichael Goulet-6/+9
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-2/+2
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-2/+2
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-2/+2
2022-12-06Avoid noting cause code (which is usually misc, b/c codegen) for opaque type ...Michael Goulet-10/+3
2022-12-03Don't add a note for implementing a trait if its inner type is erroneousbhbs-15/+20
2022-11-29Rollup merge of #105066 - lcnr:mv-candidate_from_obligation, r=compiler-errorsMatthias Krüger-0/+204
2022-11-29move `candidate_from_obligation` out of assemblylcnr-0/+204
2022-11-29Explain why rematch_impl fails to be infallibleMichael Goulet-0/+7
2022-11-28Rollup merge of #104907 - compiler-errors:selcx-infcx, r=oli-obkDylan DPC-13/+6
2022-11-25Remove SelectionContext::infcx() in favor of field accessMichael Goulet-13/+6
2022-11-25Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwUbors-11/+55
2022-11-25Auto merge of #104902 - matthiaskrgr:rollup-oo27a4u, r=matthiaskrgrbors-14/+2
2022-11-25Rollup merge of #104716 - lcnr:selection-candidate, r=jackh726Matthias Krüger-14/+2
2022-11-25Auto merge of #104846 - spastorino:santa-clauses-make-goals-early-christmas-ð...bors-6/+10
2022-11-25move 2 candidates into builtin candidatelcnr-14/+2
2022-11-25Make `expand_abstract_consts` infallibleBoxy-4/+2
2022-11-25also handle it in evaluateBoxy-24/+51
2022-11-25fmtBoxy-16/+18
2022-11-25Add expand_abstract_constkadmin-11/+8
2022-11-25Add empty ConstKind::Abstractkadmin-4/+24
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-6/+10
2022-11-24Assert that we don't capture escaping bound vars in Fn trait selectionMichael Goulet-5/+9
2022-11-24Avoid `GenFuture` shim when compiling async constructsArpad Borsos-23/+8
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-36/+13
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-2/+1
2022-11-21Use iterators instead of slices at more sitesOli Scherer-1/+1
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+1
2022-11-21Treat different opaque types of the same def id as equal during coherenceOli Scherer-36/+12
2022-11-19Rollup merge of #104469 - estebank:long-types, r=oli-obkMatthias Krüger-4/+17
2022-11-18On E0275 do not print out the full type in the msgEsteban Küber-4/+17
2022-11-18rename `is_tainted_by_errors` Boxy-1/+1
2022-11-18`InferCtxt::is_tainted_by_errors` returns `ErrorGuaranteed`Boxy-5/+3
2022-11-17Rollup merge of #104483 - oli-obk:santa-clauses-make-goals, r=compiler-errorsMatthias Krüger-2/+2
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-2/+2
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-6/+0