about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2024-07-29Reformat `use` declarations.Nicholas Nethercote-28/+32
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
2024-07-18const_to_pat: cleanup leftovers from when we had to deal with non-structural ...Ralf Jung-2/+0
2024-07-11Remove fully_normalizeMichael Goulet-38/+8
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-2/+1
2024-06-21Rename a bunch of thingsMichael Goulet-1/+1
2024-06-14Only compute vtable information during codegenMichael Goulet-1/+1
2024-06-07Only compute specializes query if specialization is enabled in the crate of t...Michael Goulet-0/+1
2024-06-05Basic removal of `Ty` from places (boring)Boxy-1/+1
2024-06-03Nits and formattingMichael Goulet-37/+0
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w...Michael Goulet-5/+7
2024-06-03Move FulfillmentErrorCode to rustc_trait_selection tooMichael Goulet-1/+39
2024-06-03Use ScrubbedTraitError in more placesMichael Goulet-1/+8
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-2/+24
2024-06-03Make TraitEngines generic over errorMichael Goulet-0/+43
2024-06-01Deduplicate supertrait_def_ids codeMark Rousskov-4/+1
2024-05-27Auto merge of #125468 - BoxyUwU:remove_defid_from_regionparam, r=compiler-errorsbors-0/+1
2024-05-24Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics)Boxy-0/+1
2024-05-24Use regular type equating instead of a custom queryOli Scherer-1/+0
2024-05-16Remove trivial Binder::dummy callsMichael Goulet-1/+1
2024-05-16Uplift Goal to rustc_type_irMichael Goulet-1/+1
2024-05-16Make P parameter explicitMichael Goulet-1/+1
2024-05-16Rename ToPredicate for UpcastMichael Goulet-3/+3
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-1/+1
2024-05-13split out AliasTy -> AliasTermMichael Goulet-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-04-30Normalize trait ref before orphan check & consider ty params in alias types t...León Orell Valerian Liehr-2/+3
2024-04-19Stop taking ParamTy/ParamConst/EarlyParamRegion/AliasTy by refMichael Goulet-3/+3
2024-04-15Simplify shallow resolver to just fold ty/constsMichael Goulet-1/+1
2024-04-06Revert "remove `pred_known_to_hold_modulo_regions`"Rémy Rakic-3/+47
2024-04-03Uplift and start using check_args_compatible more liberallyMichael Goulet-4/+4
2024-04-02t plit astconv's error report code in check functions to mod errors.surechen-1/+1
2024-03-22Rename AstConv to HIR ty loweringLeón Orell Valerian Liehr-1/+1
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-4/+4
2024-02-20Add newtype for first input typeclubby789-1/+1
2024-02-19split `project` into multiple fileslcnr-3/+3
2024-02-19remove `pred_known_to_hold_modulo_regions`lcnr-47/+3
2024-02-12Dejargnonize substShoyu Vanilla-4/+4
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-0/+1
2024-01-09Avoid silencing relevant follow-up errorsOli Scherer-0/+6
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-14update use of feature flagslcnr-2/+2
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-11-14finish `RegionKind` renamelcnr-1/+1
2023-10-30Detect object safety errors when assoc type is missingEsteban Küber-1/+1
2023-10-22use visibility to check unused imports and delete some stmtsbohan-5/+0
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-1/+1
2023-09-13make the eval() functions on our const types return the resulting valueRalf Jung-1/+1
2023-08-02Remove constness from `TraitPredicate`Deadbeef-1/+1
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-15/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 13:58:24 +0000