about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2022-11-18Enforce that dyn* casts are actually pointer-sizedMichael Goulet-0/+27
2022-11-18Revert "Normalize opaques with escaping bound vars"Michael Goulet-2/+2
2022-11-18review commentEsteban Küber-8/+2
2022-11-18On E0275 do not print out the full type in the msgEsteban Küber-7/+41
2022-11-18On overflow errors, do not print out long typesEsteban Küber-4/+24
2022-11-18require an `ErrorGuaranteed` to taint infcx with errorsBoxy-1/+4
2022-11-18rename `is_tainted_by_errors` Boxy-11/+13
2022-11-18`InferCtxt::is_tainted_by_errors` returns `ErrorGuaranteed`Boxy-17/+13
2022-11-18Rollup merge of #103386 - compiler-errors:no-coerceunsized-to-dynstar, r=eholkMatthias Krüger-5/+9
2022-11-18Rm diagnostic item, use lang itemDeadbeef-1/+1
2022-11-17Rollup merge of #104483 - oli-obk:santa-clauses-make-goals, r=compiler-errorsMatthias Krüger-130/+134
2022-11-17Auto merge of #104170 - cjgillot:hir-def-id, r=fee1-deadbors-3/+2
2022-11-16Use `as_deref` in compiler (but only where it makes sense)Maybe Waffle-1/+1
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-130/+134
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-24/+0
2022-11-15use `ocx` type relation routineslcnr-7/+19
2022-11-15Rollup merge of #104316 - cjgillot:simplify-async-suggestion, r=estebankMatthias Krüger-51/+42
2022-11-15Auto merge of #104428 - matthiaskrgr:rollup-jo3078i, r=matthiaskrgrbors-35/+8
2022-11-14Rollup merge of #104229 - compiler-errors:overlap-full-path, r=davidtwcoMatthias Krüger-81/+78
2022-11-13Remove dead NoneError error handlingmejrs-35/+8
2022-11-13Store a LocalDefId in hir::GenericParam.Camille GILLOT-3/+2
2022-11-12Simplify suggestions for errors in generators.Camille GILLOT-51/+42
2022-11-12Rollup merge of #104206 - compiler-errors:ocx-more-2, r=lcnrDylan DPC-26/+24
2022-11-12Rollup merge of #103970 - oli-obk:unhide_unknown_spans, r=estebankDylan DPC-2/+2
2022-11-11Don't add message that will never be shown to usersOli Scherer-2/+2
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-10Rollup merge of #103863 - compiler-errors:fulfillcx-less, r=wesleywiserManish Goregaokar-9/+10
2022-11-09Rollup merge of #102763 - compiler-errors:nits, r=cjgillotMichael Goulet-1/+1
2022-11-10Don't print full paths in overlap errorsMichael Goulet-81/+78
2022-11-10Use TraitEngine in more places, make FulfillmentCtxt constructor more privateMichael Goulet-9/+10
2022-11-09Remove save_and_restore_in_snapshot_flagMichael Goulet-26/+24
2022-11-09Rollup merge of #104156 - oli-obk:autoderef, r=estebankManish Goregaokar-8/+0
2022-11-09Make span_suggestions take IntoIteratorMichael Goulet-1/+1
2022-11-09Auto merge of #103723 - CastilloDel:master, r=jackh726bors-18/+24
2022-11-09Auto merge of #104180 - fee1-dead-contrib:fix-wf-fndef, r=oli-obkbors-1/+1
2022-11-09Auto merge of #104179 - Manishearth:rollup-yvsx5hh, r=Manishearthbors-3/+22
2022-11-09Use `nominal_obligations_without_const` in wf for FnDefDeadbeef-1/+1
2022-11-08Rollup merge of #103827 - compiler-errors:rpitit-substs-compat, r=wesleywiserManish Goregaokar-3/+22
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-18/+24
2022-11-08Remove an unused spanOli Scherer-10/+0
2022-11-08Remove overloaded_span argument from `new`, where it is usually redundant wit...Oli Scherer-3/+5
2022-11-08delay errors as buglcnr-2/+2
2022-11-08selection failure: recompute applicable implslcnr-43/+95
2022-11-08Auto merge of #104063 - compiler-errors:ct-norm-unless, r=jackh726bors-1/+5
2022-11-08Rollup merge of #104094 - lcnr:on_unimplemented-move, r=wesleywiserDylan DPC-409/+400