about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/query
AgeCommit message (Expand)AuthorLines
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
2024-12-02Assert that obligations are empty before deeply normalizingMichael Goulet-0/+3
2024-12-02Deeply normalize when computing implied outlives boundsMichael Goulet-3/+4
2024-11-28support revealing defined opaque post borrowcklcnr-3/+3
2024-11-23no more Reveal :(lcnr-5/+5
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-8/+15
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-1/+1
2024-10-31normalization folders, yeet `ParamEnv::reveal`lcnr-9/+11
2024-10-29TypingMode :thinking:lcnr-1/+0
2024-10-27Remove ObligationCause::span() methodMichael Goulet-1/+1
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+2
2024-10-19Rename normalize to normalize_internal, remove unnecessary usagesMichael Goulet-1/+1
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-20/+20
2024-10-17`DropckOutlives` to `rustc_middle`lcnr-26/+8
2024-10-17`ImpliedOutlivesBounds` to `rustc_middle`lcnr-14/+1
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-9/+11
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-13 11:19:19 +0000