about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2022-11-02Rollup merge of #103862 - compiler-errors:ocx-in-fully-normalize, r=spastorinoDylan DPC-18/+9
2022-11-02Use ObligationCtxt in fully_normalizeMichael Goulet-18/+9
2022-11-01Auto merge of #103217 - mejrs:track, r=eholkbors-0/+1
2022-11-01Auto merge of #103590 - compiler-errors:ocx-more, r=lcnrbors-10/+49
2022-10-31Add more track_callermejrs-0/+1
2022-10-31Rollup merge of #103603 - camsteffen:refactor-lang, r=oli-obkDylan DPC-3/+3
2022-10-30Rollup merge of #103726 - TaKO8Ki:avoid-&str-to-string-conversions, r=compile...Matthias Krüger-6/+6
2022-10-29Use LanguageItems::require lessCameron Steffen-1/+1
2022-10-29Improve LanguageItems apiCameron Steffen-2/+2
2022-10-29Rollup merge of #103625 - WaffleLapkin:no_tyctxt_dogs_allowed, r=compiler-errorsGuillaume Gomez-1/+1
2022-10-29Rename some `OwnerId` fields.Nicholas Nethercote-3/+5
2022-10-29avoid unnecessary `&str` to `String` conversionsTakayuki Maeda-6/+6
2022-10-27remove _types from ocx method namesMichael Goulet-2/+2
2022-10-27Address some more nitsMichael Goulet-3/+20
2022-10-27(almost) Always use ObligationCtxt when dealing with canonical queriesMichael Goulet-7/+29
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-1/+1
2022-10-25Move a wf-check into the site where the value is instantiatedOli Scherer-26/+0
2022-10-23Auto merge of #103345 - Nilstrieb:diag-flat, r=compiler-errorsbors-11/+11
2022-10-23Migrate all diagnosticsNilstrieb-11/+11
2022-10-23Rollup merge of #103368 - compiler-errors:normalization-ambiguity-bug, r=oli-obkMatthias Krüger-2/+19
2022-10-23Rollup merge of #103328 - compiler-errors:trivial-false-const-sugg, r=jackh726Matthias Krüger-5/+7
2022-10-22Auto merge of #103227 - lcnr:bye-bye-unevaluated-const, r=oli-obkbors-53/+28
2022-10-21Delay ambiguity span bug in normalize query iff not rustdocMichael Goulet-2/+19
2022-10-21fix some typosRageking8-1/+1
2022-10-20Do not suggest trivially false const predicatesMichael Goulet-5/+7
2022-10-19Don't call `own_existential_vtable_entries` on unresolved trait refMichael Goulet-17/+6
2022-10-19stop folding `UnevaluatedConst`lcnr-14/+4
2022-10-19instantiate -> constructMichael Goulet-2/+2
2022-10-19Generalize call suggestion for unsatisfied predicateMichael Goulet-46/+123
2022-10-19Standardize arg suggestions between typeck and trait selectionMichael Goulet-50/+56
2022-10-19Use predicate_must_hold_modulo_regionsMichael Goulet-14/+8
2022-10-19Suggest calling ctor when trait is unimplementedMichael Goulet-1/+18
2022-10-18`const_evaluatable_unchecked` to const evallcnr-21/+1
2022-10-18change `ConstEvaluatable` to use `ty::Const`lcnr-18/+23
2022-10-18Rollup merge of #103142 - fmease:fix-103052, r=oli-obkYuki Okushi-0/+4
2022-10-17Auto merge of #103151 - matthiaskrgr:rollup-t3mmnsg, r=matthiaskrgrbors-24/+27
2022-10-17Rollup merge of #102945 - compiler-errors:placeholder-region-outlives, r=lcnrMatthias Krüger-1/+1
2022-10-17Rollup merge of #102466 - lcnr:const-equate-uwu, r=BoxyUwUMatthias Krüger-23/+26
2022-10-17Make diagnostic for unsatisfied Termination bounds more preciseLeón Orell Valerian Liehr-0/+4
2022-10-17mir constants: type traversing bye byelcnr-8/+0
2022-10-16Auto merge of #102334 - compiler-errors:rpitit-substs-issue, r=cjgillotbors-1/+4
2022-10-16Auto merge of #102931 - camsteffen:inline-overlapping-impls, r=cjgillotbors-41/+29
2022-10-15Fix subst issues with RPITITMichael Goulet-1/+4
2022-10-15Rollup merge of #103003 - TaKO8Ki:fix-102989, r=compiler-errorsDylan DPC-13/+9
2022-10-14Rollup merge of #103018 - Rageking8:more-dupe-word-typos, r=TaKO8KiDylan DPC-3/+3
2022-10-14more dupe word typosRageking8-3/+3
2022-10-14check if the self type is `ty::Float` before getting second substsTakayuki Maeda-13/+9
2022-10-13Make overlapping_impls non-genericCameron Steffen-41/+29
2022-10-13Sort elaborated existential predicates in object_ty_for_traitMichael Goulet-11/+18
2022-10-12Auto merge of #101679 - compiler-errors:rpitit-default-body, r=nikomatsakisbors-3/+45