about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/query
AgeCommit message (Expand)AuthorLines
2025-10-02Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnrbors-1/+3
2025-09-30clone region obligations instead of taking in implied bounds hackJana Dönszelmann-1/+7
2025-09-30Split Bound into Canonical and Boundjackh726-1/+3
2025-09-26allow method calls on opaqueslcnr-2/+9
2025-09-24imrpove type_op failure ICElcnr-3/+3
2025-09-18support calls on opaque types :<lcnr-0/+17
2025-09-09Driveby fixesBoxy-0/+2
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-1/+1
2025-08-22change HIR typeck unification handling approachlcnr-10/+15
2025-08-08Check coroutine upvars and in dtorck constraintMichael Goulet-24/+50
2025-08-01Auto merge of #144458 - compiler-errors:no-witness-mini, r=lcnrbors-2/+5
2025-08-01Auto merge of #144446 - nnethercote:opt-region-constraints, r=lcnrbors-1/+0
2025-07-31Extract borrowck coroutine drop-liveness hackMichael Goulet-2/+5
2025-07-31Overhaul `Constraint`.Nicholas Nethercote-1/+0
2025-07-31Remove `ParamEnvAnd::into_parts`.Nicholas Nethercote-1/+1
2025-07-20Consider param-env for fast pathMichael Goulet-1/+1
2025-07-18Auto merge of #143545 - compiler-errors:coroutine-obl, r=oli-obkbors-1/+9
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-1/+9
2025-07-15Implement other logicstiif-0/+1
2025-07-13Simplify make_query_region_constraintsMichael Goulet-4/+1
2025-07-02Use is_trivially_wf for ProvePredicate fast pathMichael Goulet-12/+2
2025-06-13TypeVisiting binders no longer requires TypeFolding its interiorMichael Goulet-2/+2
2025-05-26RenameMichael Goulet-2/+2
2025-05-13Expect deep norm to fail if query norm failedMichael Goulet-5/+17
2025-05-12Flush errors before deep normalize in dropck_outlivesMichael Goulet-0/+8
2025-05-07Require T: TypeFoldable in Binder<T> visitMichael Goulet-2/+2
2025-04-30Use less rustc_type_ir in the compiler codebaseRomain Perier-1/+1
2025-04-28Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obkGuillaume Gomez-4/+4
2025-04-26convert some `GenericArg` to `Term`lcnr-6/+6
2025-04-24Remove `weak` alias terminologyBoxy-4/+4
2025-04-24Remove some unnecessary clones.Nicholas Nethercote-2/+1
2025-04-09re-use sized fast pathDavid Wood-11/+2
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-04-03add `TypingMode::Borrowck`lcnr-0/+1
2025-03-15Fold visit into tyMichael Goulet-2/+2
2025-03-15Squash fold into tyMichael Goulet-6/+5
2025-03-04Only use implied bounds hack if bevy, and use deeply normalize in implied bou...Michael Goulet-148/+50
2025-02-28Update query normalizer docsBoxy-12/+9
2025-02-17Clean up dropck code a bitMatthew Jasper-35/+21
2025-02-17Report dropck normalization errors in borrowckMatthew Jasper-9/+42
2025-02-11Make DeeplyNormalize a real type opMichael Goulet-3/+55
2025-01-31Manually walk into WF obligations in BestObligation proof tree visitorMichael Goulet-2/+4
2025-01-29Auto merge of #136011 - compiler-errors:query-norm-vaniquishes-us, r=jackh726bors-14/+10
2025-01-25Pass spans to perform_locally_in_new_solverMichael Goulet-15/+26
2025-01-24Revert "Rollup merge of #135914 - compiler-errors:vanquish-query-norm, r=jack...Michael Goulet-14/+10
2025-01-23Remove query normalize from dropck outlives type opMichael Goulet-10/+14
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-1/+7
2024-12-20remove non-borrowck member constraintslcnr-5/+2
2024-12-14(Re-)Implement impl_trait_in_bindingsMichael Goulet-0/+6
2024-12-14Split UserTypeAnnotation to have a kindMichael Goulet-4/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 08:27:58 +0000