about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2024-12-16Handle fndef rendering together with signature renderingOli Scherer-20/+26
2024-12-15Add hir::AttributeJonathan Dönszelmann-3/+4
2024-12-15Rename `value` field to `expr` to simplify later commits' diffsOli Scherer-1/+1
2024-12-15Rollup merge of #134285 - oli-obk:push-vwrqsqlwnuxo, r=UrgauStuart Cook-1/+1
2024-12-14Rollup merge of #132939 - uellenberg:suggest-deref, r=oli-obkMatthias Krüger-30/+98
2024-12-14Add some convenience helper methods on `hir::Safety`Oli Scherer-1/+1
2024-12-14(Re-)Implement impl_trait_in_bindingsMichael Goulet-0/+6
2024-12-14Split UserTypeAnnotation to have a kindMichael Goulet-4/+4
2024-12-13Suggest using deref in patternsuellenberg-30/+98
2024-12-13Auto merge of #134122 - oli-obk:push-zqnyznxtpnll, r=petrochenkovbors-1/+3
2024-12-12Move impl constness into impl trait headerOli Scherer-1/+3
2024-12-12Rollup merge of #133122 - compiler-errors:afidt, r=oli-obkMatthias Krüger-12/+184
2024-12-11Rollup merge of #134158 - compiler-errors:item-def-id, r=jackh726Jacob Pratt-3/+3
2024-12-11Rename projection_def_id to item_def_idMichael Goulet-3/+3
2024-12-10Rudimentary heuristic to insert parentheses when needed for RPIT overcaptures...Michael Goulet-5/+30
2024-12-10Don't check RPITITs that are Self:Sized for PointerLikeMichael Goulet-0/+5
2024-12-10Implement projection and shim for AFIDTMichael Goulet-1/+131
2024-12-10Add feature gate, not working yetMichael Goulet-11/+48
2024-12-10Rollup merge of #134008 - jswrenn:unsafe-fields-copy, r=compiler-errorsLeón Orell Valerian Liehr-2/+10
2024-12-08Rollup merge of #133767 - estebank:multiple-dep-version-tests, r=NadrierilMatthias Krüger-21/+117
2024-12-07Make `Copy` unsafe to implement for ADTs with `unsafe` fieldsJack Wrenn-2/+10
2024-12-07Add more info on type/trait mismatches for different crate versionsEsteban Küber-21/+117
2024-12-05do not implement unsafe auto traits for types with unsafe fieldsJack Wrenn-0/+9
2024-12-05Auto merge of #133893 - fmease:rollup-11pi6fg, r=fmeasebors-52/+8
2024-12-05Rollup merge of #133872 - compiler-errors:simplify-gat-check, r=oli-obkLeón Orell Valerian Liehr-52/+2
2024-12-05Rollup merge of #133843 - estebank:empty-semi-sugg, r=jieyouxuLeón Orell Valerian Liehr-0/+6
2024-12-04No need to create placeholders for GAT args in confirm_object_candidateMichael Goulet-52/+2
2024-12-04Do not emit empty suggestionEsteban Küber-0/+6
2024-12-04Make sure to record deps from cached task in new solver on first runMichael Goulet-4/+1
2024-12-04Auto merge of #133818 - matthiaskrgr:rollup-iav1wq7, r=matthiaskrgrbors-30/+3
2024-12-03Remove generic_associated_types_extended feature gateMichael Goulet-30/+3
2024-12-03Rollup merge of #133545 - clubby789:symbol-intern-lit, r=jieyouxuMatthias Krüger-2/+1
2024-12-03Rollup merge of #132612 - compiler-errors:async-trait-bounds, r=lcnrMatthias Krüger-1/+1
2024-12-03Rollup merge of #133517 - compiler-errors:deep-norm, r=lcnrMatthias Krüger-4/+25
2024-12-03Rollup merge of #133325 - compiler-errors:const-spec, r=lcnr,fee1-deadMatthias Krüger-22/+128
2024-12-02Assert that obligations are empty before deeply normalizingMichael Goulet-0/+20
2024-12-02Deeply normalize when computing implied outlives boundsMichael Goulet-4/+5
2024-12-02Fix const specializationMichael Goulet-5/+17
2024-12-02Reimplement specialization for const traitsMichael Goulet-18/+112
2024-12-02Rollup merge of #133746 - oli-obk:push-xwyrylxmrtvq, r=jieyouxuGuillaume Gomez-3/+2
2024-12-02Auto merge of #133760 - GuillaumeGomez:rollup-2c1y8c3, r=GuillaumeGomezbors-1/+1
2024-12-02Move tests back to using AsyncFnMichael Goulet-1/+1
2024-12-02Rollup merge of #133751 - lcnr:no-trait-solving-on-type, r=compiler-errorsGuillaume Gomez-1/+1
2024-12-02Auto merge of #133626 - lcnr:fix-diesel, r=BoxyUwUbors-6/+11
2024-12-02remove `Ty::is_copy_modulo_regions`lcnr-1/+1
2024-12-02Add a helper method for extracting spans from AttrArgsEqOli Scherer-3/+2
2024-12-02Change `AttrArgs::Eq` into a struct variantOli Scherer-2/+2
2024-12-01Rollup merge of #133589 - voidc:remove-array-len, r=boxyuwuJacob Pratt-2/+1
2024-12-01Adjust HostEffect error spans correctly to point at argsMichael Goulet-1/+4
2024-11-30Remove hir::ArrayLen, introduce ConstArgKind::InferDominik Stolz-2/+1