summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/query
AgeCommit message (Expand)AuthorLines
2024-01-23Random type checker changesMichael Goulet-34/+12
2024-01-19use implied bounds compat mode in MIR borrowcklcnr-2/+10
2024-01-17Don't use compat versions of implied bounds in ImpliedOutlivesBounds queryJack Huey-2/+2
2024-01-17Correctly handle normalization in implied boundsAli MJ Al-Nasrawy-3/+83
2024-01-16try fast path for wf type opsAli MJ Al-Nasrawy-0/+17
2024-01-16wf-check type annotations before normalizationAli MJ Al-Nasrawy-22/+32
2024-01-12Remove unused ErrorReporting variant from overflow handlingMichael Goulet-2/+0
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-0/+1
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-10/+6
2024-01-09Auto merge of #118968 - aliemjay:canon-static, r=lcnrbors-14/+4
2024-01-08Don't check for recursion in generator witness fieldsMichael Goulet-8/+5
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-7/+7
2023-12-15Annotate some bugsMichael Goulet-2/+4
2023-12-15unify query canonicalization modeAli MJ Al-Nasrawy-14/+4
2023-12-14consistently use "next solver" instead of "new solver"lcnr-9/+9
2023-12-14update use of feature flagslcnr-2/+2
2023-12-08temporarily revert "ice on ambguity in mir typeck"Ali MJ Al-Nasrawy-12/+4
2023-12-07add unused `NormalizesTo` predicatelcnr-7/+6
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-8/+8
2023-11-25Don't ICE when encountering placeholders in implied bounds computationMichael Goulet-2/+4
2023-11-24Auto merge of #118189 - compiler-errors:cache-flags-for-const, r=nnethercotebors-7/+5
2023-11-22Cache flags for ty::ConstMichael Goulet-7/+5
2023-11-22Auto merge of #118120 - compiler-errors:closure-kind, r=lcnrbors-1/+0
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-4/+2
2023-11-21Remove ClosureKind predicate kindMichael Goulet-1/+0
2023-11-19Make regionck care about placeholders in outlives componentsMichael Goulet-0/+3
2023-11-13rename `ReLateBound` to `ReBound`lcnr-1/+1
2023-11-03Auto merge of #117507 - nnethercote:rustc_span, r=Nilstriebbors-4/+3
2023-11-02only erase param env regions where neededlcnr-1/+1
2023-11-02dropck_outlives check generator witness needs_droplcnr-13/+22
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-4/+3
2023-10-30Don't super-fold types when we hit the recursion limitMichael Goulet-7/+4
2023-10-25Uplift Canonical to rustc_type_irMichael Goulet-1/+1
2023-10-20s/generator/coroutine/Oli Scherer-9/+9
2023-10-20s/Generator/Coroutine/Oli Scherer-5/+5
2023-10-08delay a bug when encountering an ambiguity in MIR typeckAli MJ Al-Nasrawy-4/+12
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-3/+1
2023-09-18Remove unused `Lift` derives.Nicholas Nethercote-2/+2
2023-09-13make the eval() functions on our const types return the resulting valueRalf Jung-1/+1
2023-08-02Rollup merge of #114079 - compiler-errors:closure-upvars, r=oli-obkNilstrieb-3/+3
2023-08-02Auto merge of #114170 - lcnr:add-commmentz, r=compiler-errorsbors-10/+0
2023-08-01Use upvar_tys in more places, make it a listMichael Goulet-3/+3
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-4/+3
2023-07-28dropck_outlives commentslcnr-10/+0
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-13/+1
2023-07-14Auto merge of #113471 - compiler-errors:new-solver-norm-escaping, r=lcnrbors-20/+21
2023-07-14Allow escaping bound vars during normalize_erasing_regions in new solverMichael Goulet-20/+21
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-32/+29
2023-07-05Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obkMichael Goulet-8/+21
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 17:14:09 +0000