summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2022-12-08Move vtable methods into its own moduleMichael Goulet-5/+8
2022-12-06Avoid noting cause code (which is usually misc, b/c codegen) for opaque type ...Michael Goulet-10/+3
2022-12-04Auto merge of #105094 - Swatinem:generator-not-future, r=compiler-errorsbors-1/+5
2022-12-03Don't add a note for implementing a trait if its inner type is erroneousbhbs-15/+20
2022-11-30Make sure async constructs do not `impl Generator`Arpad Borsos-1/+5
2022-11-29Rollup merge of #105066 - lcnr:mv-candidate_from_obligation, r=compiler-errorsMatthias Krüger-210/+207
2022-11-29move `candidate_from_obligation` out of assemblylcnr-210/+207
2022-11-29Explain why rematch_impl fails to be infallibleMichael Goulet-0/+7
2022-11-28Simplify checking for `GeneratorKind::Async`Arpad Borsos-3/+1
2022-11-28Rollup merge of #104907 - compiler-errors:selcx-infcx, r=oli-obkDylan DPC-20/+13
2022-11-27Add `TyCtxt::is_fn_trait`Maybe Waffle-1/+1
2022-11-27Rename `fn_trait_kind_from_{from_lang=>def_id}` to better convey meaningMaybe Waffle-3/+3
2022-11-25Remove SelectionContext::infcx() in favor of field accessMichael Goulet-20/+13
2022-11-25Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwUbors-11/+55
2022-11-25Auto merge of #104902 - matthiaskrgr:rollup-oo27a4u, r=matthiaskrgrbors-28/+9
2022-11-25Rollup merge of #104716 - lcnr:selection-candidate, r=jackh726Matthias Krüger-28/+9
2022-11-25Auto merge of #104846 - spastorino:santa-clauses-make-goals-early-christmas-ð...bors-18/+13
2022-11-25move 2 candidates into builtin candidatelcnr-28/+9
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-25Simplify a bunch of trait ref obligation creationsOli Scherer-6/+2
2022-11-25get rid of to_poly_trait_predicateOli Scherer-6/+1
2022-11-24Remove comment, simplify since we asserted fn ptr Self type has no bound varsMichael Goulet-10/+1
2022-11-24Also check that fn pointer candidates don't have escaping bound varsMichael Goulet-1/+4
2022-11-24Assert that we don't capture escaping bound vars in Fn trait selectionMichael Goulet-10/+17
2022-11-24Auto merge of #104321 - Swatinem:async-gen, r=oli-obkbors-33/+86
2022-11-24Avoid `GenFuture` shim when compiling async constructsArpad Borsos-33/+86
2022-11-24Rollup merge of #104742 - WaffleLapkin:forbidden-SUPER-deref, r=compiler-errorsMatthias Krüger-12/+0
2022-11-24Disable dyn* upcastingMichael Goulet-7/+6
2022-11-23Make `deref_into_dyn_supertrait` lint the impl and not the usageMaybe Waffle-12/+0
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-36/+13
2022-11-22Auto merge of #104696 - matthiaskrgr:rollup-gi1pdb0, r=matthiaskrgrbors-32/+27
2022-11-22Rollup merge of #104597 - compiler-errors:need_migrate_deref_output_trait_obj...Matthias Krüger-32/+27
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-23/+15
2022-11-21Add helper to create the trait ref for a lang itemOli Scherer-11/+8
2022-11-21Use iterators instead of slices at more sitesOli Scherer-3/+3
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-5/+5
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-16/+17
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-19Rollup merge of #104554 - BoxyUwU:less_unchecked_pls, r=lcnrDylan DPC-5/+3
2022-11-19Probe + better error messsage for need_migrate_deref_output_trait_objectMichael Goulet-32/+27
2022-11-18Auto merge of #104591 - Manishearth:rollup-b3ser4e, r=Manishearthbors-0/+28
2022-11-18Only enforce ABI-mandated align, not preferred align is compatibleMichael Goulet-1/+1
2022-11-18Check both align and size in PointerSizedMichael Goulet-1/+2