about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2022-10-04Rollup merge of #102670 - lyming2007:issue-101866-fix, r=compiler-errorsMichael Howell-1/+1
2022-10-04follow-up fix about 101866 to print the self type.Yiming Lei-1/+1
2022-10-04Rollup merge of #102651 - oli-obk:non_region_things, r=lcnrMatthias Krüger-20/+20
2022-10-04Rollup merge of #102647 - oli-obk:tilde_const_bounds, r=fee1-deadMatthias Krüger-0/+26
2022-10-04Rollup merge of #102488 - compiler-errors:gat-compatibility, r=oli-obkMatthias Krüger-2/+40
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-20/+20
2022-10-04Merge the `~const` and `impl const` checks and add some explanatory notesOli Scherer-2/+24
2022-10-04Only allow ~const bounds for traits with #[const_trait]Oli Scherer-0/+4
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-93/+93
2022-10-01Refactor rustc lint APIMaybe Waffle-93/+93
2022-09-30Rollup merge of #102506 - TaKO8Ki:specify-dyn-kind, r=lcnrMatthias Krüger-1/+1
2022-09-30Rollup merge of #102421 - lyming2007:issue-101866, r=lcnrMatthias Krüger-5/+14
2022-09-30specify `DynKind::Dyn`Takayuki Maeda-1/+1
2022-09-30Auto merge of #102304 - lcnr:coherence-cleanup, r=compiler-errorsbors-33/+0
2022-09-29remove the unused :: between trait and type to give user correct diagnostic i...Yiming Lei-5/+14
2022-09-29Check generic argument compatibility when projecting assoc tyMichael Goulet-2/+40
2022-09-28update fixmelcnr-5/+5
2022-09-28Rollup merge of #102378 - compiler-errors:issue-102289, r=jackh726Yuki Okushi-1/+2
2022-09-28Rollup merge of #102348 - nnethercote:tweak-FulfillProcessor, r=jackh726Yuki Okushi-12/+12
2022-09-27Use already resolved self_ty in confirm_fn_pointer_candidateMichael Goulet-1/+2
2022-09-27Tweak `FulfillProcessor`.Nicholas Nethercote-12/+12
2022-09-26remove outdated coherence hacklcnr-33/+0
2022-09-26remove cfg(bootstrap)Pietro Albini-2/+0
2022-09-25Rollup merge of #102016 - lcnr:given-OutlivesEnvironment, r=jackh726Matthias Krüger-1/+2
2022-09-24Auto merge of #102040 - TaKO8Ki:separate-definitions-and-hir-owners, r=cjgillotbors-3/+5
2022-09-24separate definitions and `HIR` ownersTakayuki Maeda-3/+5
2022-09-24Rollup merge of #102204 - fee1-dead-contrib:manually-drop-trivially-drop, r=o...Matthias Krüger-0/+3
2022-09-23Make `ManuallyDrop` satisfy `~const Destruct`Deadbeef-0/+3
2022-09-23Auto merge of #102192 - matthiaskrgr:rollup-0ctjzco, r=matthiaskrgrbors-19/+1
2022-09-23Rollup merge of #102137 - b-naber:lazy-const-val-conversion, r=lcnrMatthias Krüger-19/+1
2022-09-23Auto merge of #102056 - b-naber:unevaluated, r=lcnrbors-8/+11
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-6/+6
2022-09-22Auto merge of #102139 - Dylan-DPC:rollup-ljlipt8, r=Dylan-DPCbors-18/+21
2022-09-22Rollup merge of #102037 - jyn514:normalize-docs, r=lcnrDylan DPC-18/+21
2022-09-22Auto merge of #100980 - compiler-errors:normalize-opaque-w-bound-vars, r=lcnrbors-2/+2
2022-09-22don't convert valtree to constvalue during normalizationb-naber-19/+1
2022-09-22introduce mir::Unevaluatedb-naber-5/+8
2022-09-22Auto merge of #100982 - fee1-dead-contrib:const-impl-requires-const-trait, r=...bors-2/+3
2022-09-22Normalize opaques with escaping bound varsMichael Goulet-2/+2
2022-09-21FIX - adopt new Diagnostic naming in newly migrated modulesJhonny Bill Mena-1/+1
2022-09-21UPDATE - rename DiagnosticHandler macro to DiagnosticJhonny Bill Mena-7/+7
2022-09-21UPDATE - rename DiagnosticHandler trait to IntoDiagnosticJhonny Bill Mena-9/+9
2022-09-21UPDATE - move SessionDiagnostic from rustc_session to rustc_errorsJhonny Bill Mena-2/+2
2022-09-21Auto merge of #100096 - compiler-errors:fn-return-must-be-sized, r=jackh726bors-1/+30
2022-09-20Auto merge of #101989 - fee1-dead-contrib:const_trait_impl-assoc-caller-bound...bors-13/+16
2022-09-19Make cycle errors recoverableJoshua Nelson-4/+18
2022-09-19Make `OUT` an associated type instead of a generic parameterJoshua Nelson-0/+1