about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2022-09-05Make `hir::PathSegment::res` non-optional.Nicholas Nethercote-2/+2
2022-09-04Auto merge of #101296 - compiler-errors:head-span-for-enclosing-scope, r=oli-obkbors-19/+15
2022-09-04Auto merge of #100726 - jswrenn:transmute, r=oli-obkbors-16/+4
2022-09-04Address nits, rename enclosing_scope => parent_labelMichael Goulet-19/+15
2022-09-04Use head span for rustc_on_unimplemented's enclosing_scope attrMichael Goulet-1/+1
2022-09-04Rollup merge of #100647 - obeis:issue-99875, r=nagisaMatthias Krüger-7/+30
2022-09-02Refactor and re-use BindingAnnotationCameron Steffen-1/+1
2022-09-02Rollup merge of #100814 - gabrielBusta:port_trait_selection_diagnostics, r=da...Matthias Krüger-87/+135
2022-09-01Porting 'compiler/rustc_trait_selection' to translatable diagnostics - Part 1Gabriel Bustamante-87/+135
2022-09-01tracing::instrument cleanupOli Scherer-34/+22
2022-09-01Always import all tracing macros for the entire crate instead of piecemeal by...Oli Scherer-1/+1
2022-09-01Directly use the `instrument` macro instead of its full pathOli Scherer-12/+12
2022-08-30Stabilize GATsJack Huey-2/+0
2022-08-30Rollup merge of #100473 - compiler-errors:normalize-the-fn-def-sig-plz, r=lcnrDylan DPC-12/+30
2022-08-30Auto merge of #101183 - Dylan-DPC:rollup-6kewixv, r=Dylan-DPCbors-4/+8
2022-08-30Rollup merge of #101022 - compiler-errors:issue-101020, r=jackh726Dylan DPC-4/+8
2022-08-29Revert let_chains stabilizationNilstrieb-0/+1
2022-08-29Make the trait bound is not satisfied specify kindObei Sideg-7/+30
2022-08-29Auto merge of #98626 - oli-obk:tracing, r=lcnrbors-0/+1
2022-08-29Rollup merge of #100437 - compiler-errors:better-const-mismatch-err, r=oli-obkMatthias Krüger-3/+18
2022-08-28Auto merge of #100497 - kadiwa4:remove_clone_into_iter, r=cjgillotbors-1/+1
2022-08-27Auto merge of #100989 - lcnr:implied-bounds-uwu, r=spastorinobors-1/+12
2022-08-26Don't catch overflow when running with cargo docouz-a-1/+4
2022-08-26Auto merge of #100705 - compiler-errors:issue-100620, r=oli-obkbors-3/+10
2022-08-26Erase late bound regions before comparing types in suggest_dereferencesMichael Goulet-4/+8
2022-08-26Add and use ObligationCtxt::new_in_snapshotMichael Goulet-0/+13
2022-08-25Use real inference variable in build_fn_sig_tyMichael Goulet-9/+16
2022-08-25Don't create an extra infcx in report_closure_arg_mismatchMichael Goulet-3/+1
2022-08-25no unnormalized types for implied boundslcnr-1/+12
2022-08-25Rollup merge of #99332 - jyn514:stabilize-label-break-value, r=petrochenkovYuki Okushi-1/+1
2022-08-24Use ExprItemObligation and ExprBindingObligation tooMichael Goulet-1/+3
2022-08-24Note binding obligation causes for const equate errorsMichael Goulet-3/+16
2022-08-24Rollup merge of #100888 - spastorino:coherence-negative-impls-implied-bounds,...Matthias Krüger-11/+146
2022-08-23Stabilize `#![feature(label_break_value)]`Joshua Nelson-1/+1
2022-08-23Rollup merge of #100368 - chenyukang:fix-100321, r=lcnrDylan DPC-3/+0
2022-08-23Use CRATE_HIR_ID and CRATE_DEF_ID for obligations from foreign cratesSantiago Pastorino-11/+13
2022-08-23Do not use unneeded extra errors variableSantiago Pastorino-2/+1
2022-08-23Permit negative impls coherence to take advantage of implied boundsSantiago Pastorino-8/+26
2022-08-23Move InferCtxtExt to rustc_trait_selectionSantiago Pastorino-0/+116
2022-08-23Rollup merge of #100789 - compiler-errors:issue-99662, r=spastorinoMatthias Krüger-13/+8
2022-08-22safe transmute: use `Assume` struct to provide analysis optionsJack Wrenn-16/+4
2022-08-22remove hack fix since we don't have no overflow diagnosticyukang-3/+0
2022-08-22Auto merge of #100868 - Dylan-DPC:rollup-a1hfi1r, r=Dylan-DPCbors-0/+12
2022-08-22Rollup merge of #100757 - ouz-a:issue-95134, r=jackh726Dylan DPC-0/+12
2022-08-22Auto merge of #100676 - lcnr:implied-bounds-yay, r=nikomatsakisbors-1/+22
2022-08-21Bless tests after #100769Michael Goulet-92/+95
2022-08-21Adjust messages, address some nitsMichael Goulet-38/+38
2022-08-21Targeted fixes addressing erroneous suggestionsMichael Goulet-9/+27
2022-08-21Note closure kind mismatch causeMichael Goulet-2/+1
2022-08-21Rework point-at-argMichael Goulet-46/+34