about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits/structural_impls.rs
AgeCommit message (Expand)AuthorLines
2025-04-14Derive Obligation's fold implsMichael Goulet-31/+1
2025-03-15Fold visit into tyMichael Goulet-2/+3
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-02-19Make fewer crates depend on rustc_ast_irMichael Goulet-2/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+4
2024-06-03Move FulfillmentErrorCode to rustc_trait_selection tooMichael Goulet-21/+0
2024-06-03Make TraitEngines generic over errorMichael Goulet-6/+0
2024-05-10rename some variants in FulfillmentErrorCodeMichael Goulet-4/+4
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-3/+3
2024-02-29distinguish recursion limit based overflow for diagnosticslcnr-2/+4
2024-01-12Remove redundant Code from FulfillmentErrorCode variantsMichael Goulet-7/+8
2023-12-19rename to verbose-internalsjyn-1/+1
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-5/+5
2023-04-10Report overflows gracefully with new solverMichael Goulet-1/+2
2023-02-22Remove type-traversal trait aliasesAlan Egerton-5/+12
2023-02-13Make folding traits generic over the InternerAlan Egerton-1/+1
2023-02-13Make visiting traits generic over the InternerAlan Egerton-2/+2
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-3/+3
2022-09-19Make cycle errors recoverableJoshua Nelson-0/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-2/+2
2022-07-05Explicit TypeVisitable implementationsAlan Egerton-0/+3
2022-06-08Folding revamp.Nicholas Nethercote-5/+2
2021-12-02Rename TypeFolderFallible to FallibleTypeFolderAlan Egerton-2/+2
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-4/+7
2021-11-28Auto merge of #91230 - eggyal:fallible-type-fold, r=jackh726bors-5/+5
2021-11-26Make `TypeFoldable` implementors short-circuit on errorLeSeulArtichaut-5/+5
2021-11-25Visit `param_env` field in Obligation's `TypeFoldable` implAaron Hill-1/+2
2020-11-17Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obkbors-1/+1
2020-11-16wordslcnr-1/+1
2020-11-16compiler: fold by valueBastian Kauschke-1/+1
2020-11-14Introduce `TypeVisitor::BreakTy`LeSeulArtichaut-1/+1
2020-10-30Remove implicit `Continue` typeLeSeulArtichaut-1/+1
2020-10-30TypeVisitor: use `ControlFlow` in rustc_{infer,lint,trait_selection}LeSeulArtichaut-1/+2
2020-08-30mv compiler to compiler/mark-0/+74