about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/structural_match.rs
AgeCommit message (Expand)AuthorLines
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-10-20s/Generator/Coroutine/Oli Scherer-1/+1
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-5/+5
2023-06-01remove search_for_adt_const_param_violationMichael Goulet-52/+18
2023-02-22Remove type-traversal trait aliasesAlan Egerton-3/+1
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-1/+1
2023-02-13Make visiting traits generic over the InternerAlan Egerton-1/+1
2023-02-13Workaround issue #107747Alan Egerton-1/+3
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-1/+1
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-8/+8
2022-12-13Combine identical alias armsMichael Goulet-4/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-12-08Move has_structural_eq_impls provider to rustc_ty_utilsMichael Goulet-48/+0
2022-11-23Use ObligationCtxt intead of dyn TraitEngineSantiago Pastorino-18/+5
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-4/+3
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-1/+1
2022-08-03Rollup merge of #99746 - compiler-errors:more-trait-engine, r=jackh726Matthias Krüger-2/+2
2022-07-26Use TraitEngine in more places that don't specifically need FulfillmentCtxt::...Michael Goulet-2/+2
2022-07-25Remove non-descriptive boolean from search_for_structural_match_violationMichael Goulet-10/+23
2022-07-25Get rid of redundant NonStructuralMatchTyKindMichael Goulet-52/+14
2022-07-25Deeply deny fn and raw ptrs in const genericsMichael Goulet-23/+47
2022-07-11Deny floats even when adt_const_params is enabledMichael Goulet-2/+20
2022-07-08Rollup merge of #98654 - nnethercote:pest-2.1.3-opt, r=pnkfelixDylan DPC-17/+10
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-06-29Avoid constructing an unnecessary `InferCtxt`.Nicholas Nethercote-4/+1
2022-06-29Change `Search::infcx` to `tcx`.Nicholas Nethercote-14/+10
2022-06-08Folding revamp.Nicholas Nethercote-1/+1
2022-05-24give correct error message on structural match violationb-naber-9/+23
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-3/+3
2022-01-16Auto merge of #92805 - BoxyUwU:revert-lazy-anon-const-substs, r=lcnrbors-3/+0
2022-01-15Reduce use of local_def_id_to_hir_id.Camille GILLOT-1/+0
2022-01-15initial revertEllen-3/+0
2021-12-15Remove `in_band_lifetimes` from `rustc_trait_selection`Sylvan Bowdler-2/+2
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-1/+1
2021-10-19Reject closures in patternsTomasz Miąsko-1/+5
2021-08-26make unevaluated const substs optionallcnr-2/+2
2021-08-26require a `tcx` for `TypeVisitor`lcnr-0/+3
2021-07-18Revert "structural_match: non-structural-match ty closures"Santiago Pastorino-5/+1
2020-11-14Use `TypeVisitor::BreakTy` in `structural_match::Search`LeSeulArtichaut-36/+15
2020-11-14Introduce `TypeVisitor::BreakTy`LeSeulArtichaut-1/+1
2020-10-30Remove implicit `Continue` typeLeSeulArtichaut-1/+1
2020-10-30Use `ControlFlow::is{break,continue}`LeSeulArtichaut-1/+1
2020-10-30TypeVisitor: use `ControlFlow` in rustc_{infer,lint,trait_selection}LeSeulArtichaut-30/+20
2020-09-04Change ty.kind to a methodLeSeulArtichaut-1/+1
2020-08-30mv compiler to compiler/mark-0/+281