about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2023-01-30Use ObligationCtxt::new_in_snapshot in satisfied_from_param_envMichael Goulet-1/+1
2023-01-30Replace enum `==`s with `match`es where it makes senseMaybe Waffle-14/+17
2023-01-30Rollup merge of #107146 - compiler-errors:unsizing-params, r=cjgillotDylan DPC-44/+10
2023-01-29Auto merge of #106253 - nbdd0121:upcast, r=compiler-errorsbors-19/+38
2023-01-28Make unsizing_params_for_adt into a queryMichael Goulet-44/+10
2023-01-28Auto merge of #107206 - cjgillot:no-h2l-map, r=WaffleLapkinbors-9/+6
2023-01-28Rename `is_object_safe` to `check_is_object_safe` to hint side effectsGary Guo-7/+10
2023-01-28Make `is_object_safe` a query and move lint_object_unsafe_trait call thereGary Guo-14/+32
2023-01-28Replace `object_safety_violations().is_empty()` calls with `is_object_safe`Gary Guo-3/+1
2023-01-28Remove `HirId -> LocalDefId` map from HIR.Camille GILLOT-9/+6
2023-01-28Rollup merge of #107306 - compiler-errors:correct-sugg-for-closure-arg-needs-...Matthias Krüger-10/+20
2023-01-28Rollup merge of #107103 - compiler-errors:new-solver-evaluate_obligation, r=lcnrMatthias Krüger-6/+37
2023-01-27Pacify tidy.Camille GILLOT-5/+5
2023-01-27Restrict amount of ignored locals.Camille GILLOT-1/+1
2023-01-27Compute generator saved locals on MIR.Camille GILLOT-9/+177
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-3/+24
2023-01-27Separate trait selection from ambiguity reporting.Camille GILLOT-17/+2
2023-01-27Do not abort compilation when failing to normalize opaque types.Camille GILLOT-11/+43
2023-01-27Use now solver in evaluate_obligationMichael Goulet-6/+37
2023-01-27Auto merge of #107055 - kylematsuda:eb-fn-sig, r=lcnrbors-1/+1
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-1/+1
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-1/+1
2023-01-26Use new solver during selectionMichael Goulet-14/+43
2023-01-26Rollup merge of #107272 - compiler-errors:new-solver-more-predicates, r=lcnrMatthias Krüger-2/+30
2023-01-25Don't normalize obligations in WF goal for the new solverMichael Goulet-2/+30
2023-01-25Rollup merge of #106897 - estebank:issue-99430, r=davidtwcoMatthias Krüger-1/+1
2023-01-25Suggest mutable borrows correctlyMichael Goulet-8/+18
2023-01-25Liberate late-bound regions correctlyMichael Goulet-2/+2
2023-01-25Auto merge of #103902 - vincenzopalazzo:macros/obligation_rulesv2, r=oli-obkbors-73/+60
2023-01-23Point at specific field in struct literal when trait fulfillment failsNathan Fenner-1/+3
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-73/+60
2023-01-23Rollup merge of #107101 - compiler-errors:perf-106309-1, r=petrochenkovYuki Okushi-2/+2
2023-01-22Store relationships on InherentSantiago Pastorino-83/+5
2023-01-20Auto merge of #105102 - compiler-errors:copy-impl-considering-regions, r=lcnrbors-23/+70
2023-01-20Auto merge of #107106 - matthiaskrgr:rollup-g7r1ep0, r=matthiaskrgrbors-8/+26
2023-01-20Auto merge of #107105 - matthiaskrgr:rollup-rkz9t7r, r=matthiaskrgrbors-22/+20
2023-01-20Rollup merge of #106891 - estebank:issue-45727, r=petrochenkovMatthias Krüger-8/+26
2023-01-20Rollup merge of #106973 - oli-obk:tait_ice_closure_in_impl_header, r=lcnrMatthias Krüger-22/+20
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-9/+9
2023-01-20Filter predicates first for fast-path type flagsMichael Goulet-2/+2
2023-01-19Tweak "borrow closure argument" suggestionEsteban Küber-8/+26
2023-01-19Encode whether foreign opaques are TAITs or notMichael Goulet-1/+1
2023-01-19Don't treat closures from other crates as localOli Scherer-22/+20
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-24/+24
2023-01-17Rollup merge of #106970 - kylematsuda:earlybinder-item-bounds, r=lcnrMatthias Krüger-6/+5
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-17/+17
2023-01-17change item_bounds query to return EarlyBinder; remove bound_item_bounds queryKyle Matsuda-6/+5
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-17/+17
2023-01-17Untouch back perf sensetive code :sweat_smile:Maybe Waffle-5/+7
2023-01-17Review suggestionsMaybe Waffle-1/+1