about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
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
2022-11-18Enforce that dyn* casts are actually pointer-sizedMichael Goulet-0/+27
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-18Rollup merge of #103386 - compiler-errors:no-coerceunsized-to-dynstar, r=eholkMatthias Krüger-5/+9
2022-11-17Rollup merge of #104483 - oli-obk:santa-clauses-make-goals, r=compiler-errorsMatthias Krüger-42/+36
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-42/+36
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-6/+0
2022-11-10Unbreak upcastingMichael Goulet-3/+7
2022-11-10Don't CoerceUnsized dyn* to dyn*Michael Goulet-2/+2
2022-11-10Don't allow implement CoerceUnsized into dyn-starMichael Goulet-1/+1
2022-11-10More nitsMichael Goulet-4/+1
2022-11-10make `Sized` coinductivelcnr-1/+4
2022-11-09Auto merge of #103723 - CastilloDel:master, r=jackh726bors-1/+8
2022-11-09Auto merge of #103171 - jackh726:gen-interior-hrtb-error, r=cjgillotbors-0/+1
2022-11-08Reduce the scope of allow(rustc::potential_query_instability) in rustc_trait_...CastilloDel-1/+8
2022-11-08selection failure: recompute applicable implslcnr-14/+2
2022-11-07Add an optional Span to BrAnon and use it to print better error for HRTB erro...Jack Huey-0/+1
2022-11-06Auto merge of #103975 - oli-obk:tracing, r=jackh726bors-1/+3
2022-11-04Refactor tcx mk_const parameters.Mateusz-4/+4
2022-11-04Some tracing and comment cleanupsOli Scherer-1/+3
2022-10-17Rollup merge of #102466 - lcnr:const-equate-uwu, r=BoxyUwUMatthias Krüger-11/+13
2022-10-10Fix compiler docsGuillaume Gomez-1/+1
2022-10-10Rollup merge of #102786 - compiler-errors:no-tuple-candidate, r=lcnrDylan DPC-8/+4
2022-10-08Rollup merge of #102785 - fee1-dead-contrib:rm_autoimpl_defid, r=compiler-errorsMatthias Krüger-19/+18
2022-10-07Remove tuple candidate, nothing special about itMichael Goulet-8/+4
2022-10-07Remove `DefId` from some `SelectionCandidate` variantsDeadbeef-19/+18
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-5/+5
2022-10-07Introduce TypeErrCtxtCameron Steffen-2/+2
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-5/+5
2022-10-03Rollup merge of #102613 - TaKO8Ki:fix-part-of-101739, r=compiler-errorsMatthias Krüger-5/+8
2022-10-03check if const is ADT or notTakayuki Maeda-9/+8
2022-10-03return when obligation has references_errorTakayuki Maeda-0/+4
2022-10-01Auto merge of #101986 - WaffleLapkin:move_lint_note_to_the_bottom, r=estebankbors-7/+6
2022-10-01Refactor rustc lint APIMaybe Waffle-7/+6
2022-09-30Auto merge of #102304 - lcnr:coherence-cleanup, r=compiler-errorsbors-33/+0
2022-09-29only allow `ConstEquate` with `feature(gce)`lcnr-11/+13
2022-09-28update fixmelcnr-5/+5
2022-09-27Use already resolved self_ty in confirm_fn_pointer_candidateMichael Goulet-1/+2