about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2022-11-24with_query_mode -> newSantiago Pastorino-8/+3
2022-11-24Remove normalize_projection_typeSantiago Pastorino-60/+13
2022-11-24Avoid `GenFuture` shim when compiling async constructsArpad Borsos-54/+156
2022-11-24Rollup merge of #104742 - WaffleLapkin:forbidden-SUPER-deref, r=compiler-errorsMatthias Krüger-12/+0
2022-11-24Rollup merge of #104594 - compiler-errors:dyn-star-rcvr, r=eholk,estebankMatthias Krüger-7/+6
2022-11-24Auto merge of #104610 - ouz-a:revert-overflow, r=compiler-errorsbors-16/+0
2022-11-24Disable dyn* upcastingMichael Goulet-7/+6
2022-11-24Auto merge of #104507 - WaffleLapkin:asderefsyou, r=wesleywiserbors-1/+1
2022-11-23Add `Mutability::{is_mut,is_not}`Maybe Waffle-2/+2
2022-11-23Make `deref_into_dyn_supertrait` lint the impl and not the usageMaybe Waffle-12/+0
2022-11-23Rollup merge of #104509 - spastorino:use-obligation-ctxt, r=lcnrDylan DPC-41/+30
2022-11-23Rollup merge of #104269 - compiler-errors:hang-in-where-clause-sugg, r=lcnrDylan DPC-4/+6
2022-11-23Call fully_solve_obligations instead of repeating codeSantiago Pastorino-6/+11
2022-11-23Use ObligationCtxt intead of dyn TraitEngineSantiago Pastorino-41/+25
2022-11-23Drive-by: Don't manually call evaluate_obligation_no_overflowMichael Goulet-3/+2
2022-11-23Do not need to account for overflow in predicate_can_applyMichael Goulet-1/+4
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-41/+29
2022-11-22Use `tcx.require_lang_item` instead of unwrappingMaybe Waffle-1/+1
2022-11-22Auto merge of #104696 - matthiaskrgr:rollup-gi1pdb0, r=matthiaskrgrbors-48/+37
2022-11-22Rollup merge of #104674 - spastorino:negative-impl-tcx, r=lcnrMatthias Krüger-16/+10
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-68/+46
2022-11-21Remove a redundant assertOli Scherer-6/+0
2022-11-21For lcnrOli Scherer-0/+1
2022-11-21Add helper to create the trait ref for a lang itemOli Scherer-18/+14
2022-11-21Use iterators instead of slices at more sitesOli Scherer-5/+6
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-31/+25
2022-11-21Add a helper for replacing the self type in trait refsOli Scherer-25/+5
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-85/+74
2022-11-21Split out the actual predicate solving code into a separate functionOli Scherer-9/+17
2022-11-21Check that type_implements_trait actually is passed the right amount of gener...Oli Scherer-3/+11
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+10
2022-11-21Treat different opaque types of the same def id as equal during coherenceOli Scherer-40/+18
2022-11-21Allow opaque types in trait impl headers and rely on coherence to reject unso...Oli Scherer-3/+3
2022-11-21negative_impl_exists should take an InferCtxtSantiago Pastorino-8/+7
2022-11-21negative_impl should take a TyCtxtSantiago Pastorino-8/+3
2022-11-21Rollup merge of #104595 - compiler-errors:poly-existential-predicate, r=lcnrMatthias Krüger-2/+2
2022-11-20Auto merge of #98914 - fee1-dead-contrib:min-deref-patterns, r=compiler-errorsbors-1/+1
2022-11-19revert-overflowouz-a-16/+0
2022-11-19Rollup merge of #104593 - compiler-errors:rpitit-object-safety-spans, r=fee1-...Matthias Krüger-6/+15
2022-11-19Rollup merge of #104469 - estebank:long-types, r=oli-obkMatthias Krüger-11/+59
2022-11-19Auto merge of #103509 - compiler-errors:opaques-w-bound-vars-r-hard, r=oli-obkbors-2/+2
2022-11-19Rollup merge of #104554 - BoxyUwU:less_unchecked_pls, r=lcnrDylan DPC-18/+19
2022-11-19Rollup merge of #104411 - lcnr:bivariance-nll, r=compiler-errorsDylan DPC-7/+19
2022-11-19Probe + better error messsage for need_migrate_deref_output_trait_objectMichael Goulet-32/+27
2022-11-19drive-by: PolyExistentialPredicateMichael Goulet-2/+2
2022-11-19Improve spans for RPITIT object-safety errorsMichael Goulet-6/+15
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