about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2024-05-18Auto merge of #125077 - spastorino:add-new-fnsafety-enum2, r=jackh726bors-7/+7
2024-05-18An async closure may implement FnMut/Fn if it has no self-borrowsMichael Goulet-12/+3
2024-05-17Rename Unsafe to SafetySantiago Pastorino-7/+7
2024-05-17to_opt_poly_X_pred -> as_X_clauseMichael Goulet-13/+13
2024-05-17Only make GAT ambiguous in match_projection_projections considering shallow r...Michael Goulet-1/+11
2024-05-16Remove trivial Binder::dummy callsMichael Goulet-3/+3
2024-05-16Uplift Goal to rustc_type_irMichael Goulet-5/+5
2024-05-16Make P parameter explicitMichael Goulet-9/+7
2024-05-16Rename ToPredicate for UpcastMichael Goulet-42/+42
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-142/+148
2024-05-13Apply nitsMichael Goulet-28/+4
2024-05-13split out AliasTy -> AliasTermMichael Goulet-140/+170
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+19
2024-05-11Apply nits, uplift ExistentialPredicate tooMichael Goulet-1/+2
2024-05-11Uplift `TraitPredicate`Michael Goulet-2/+5
2024-05-11Consolidate obligation cause codes for where clausesMichael Goulet-49/+35
2024-05-10Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnrbors-38/+63
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-37/+60
2024-05-10Lift `Lift`Michael Goulet-1/+3
2024-05-10Name tweaksMichael Goulet-32/+34
2024-05-10More rename falloutMichael Goulet-29/+29
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-92/+76
2024-05-10Remove glob imports for ObligationCauseCodeMichael Goulet-44/+48
2024-05-10rename some variants in FulfillmentErrorCodeMichael Goulet-31/+22
2024-05-10Auto merge of #124961 - matthiaskrgr:rollup-1jj65p6, r=matthiaskrgrbors-34/+13
2024-05-10Rollup merge of #124955 - nnethercote:next_ty_var, r=lcnrMatthias Krüger-22/+7
2024-05-10Rollup merge of #124943 - lcnr:generic-args-ref, r=compiler-errorsMatthias Krüger-2/+2
2024-05-10Rollup merge of #124918 - nnethercote:FIXME-lcnr, r=lcnrMatthias Krüger-10/+4
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-8/+8
2024-05-10De-tuple two `vtable_trait_first_method_offset` args.Nicholas Nethercote-8/+4
2024-05-10Remove out-of-date comment.Nicholas Nethercote-2/+0
2024-05-10Use fewer origins when creating type variables.Nicholas Nethercote-22/+7
2024-05-09always use `GenericArgsRef`lcnr-2/+2
2024-05-07Fix ICEs in diagnostic::on_unimplementedMichael Goulet-51/+69
2024-05-03Do not ICE on foreign malformed `diagnostic::on_unimplemented`Esteban Küber-6/+8
2024-05-02Take ocx by move for pending obligationsMichael Goulet-1/+8
2024-05-02Use ObligationCtxt in favor of TraitEngine in many placesMichael Goulet-56/+85
2024-05-02Rollup merge of #124624 - WaffleLapkin:old_unit, r=fmeaseMatthias Krüger-2/+2
2024-05-02Inline & delete `Ty::new_unit`, since it's just a field accessWaffle Lapkin-2/+2
2024-05-02shallow resolve in orphan checklcnr-28/+27
2024-05-01Auto merge of #124356 - fmease:fewer-magic-numbers-in-names, r=lcnrbors-6/+6
2024-04-30Auto merge of #117164 - fmease:orphan-norm, r=lcnrbors-67/+115
2024-04-30Give items related to issue 33140 a more meaningful nameLeón Orell Valerian Liehr-6/+6
2024-04-30Normalize trait ref before orphan check & consider ty params in alias types t...León Orell Valerian Liehr-67/+115
2024-04-30Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-deadMatthias Krüger-3/+16
2024-04-29Actually use probes when needed and stop relying on existing outer probesMichael Goulet-3/+2
2024-04-29Remove `extern crate smallvec` from a couple of crates.Nicholas Nethercote-2/+2
2024-04-29Remove `extern crate rustc_data_structures` from numerous crates.Nicholas Nethercote-1/+1
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+13
2024-04-26Auto merge of #122385 - lcnr:analyze-obligations-for-infer, r=compiler-errorsbors-3/+7