about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/query
AgeCommit message (Expand)AuthorLines
2023-12-15Annotate some bugsMichael Goulet-2/+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
2023-07-04 -Ztrait-solver=next: stop depending on old solverlcnr-8/+21
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-1/+1
2023-07-03add deep normalization via the new solverlcnr-2/+12
2023-07-01Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errorsbors-2/+2
2023-06-29change snapshot tracking in fulfillment contextslcnr-2/+2
2023-06-27Normalize opaques with escaping bound varsMichael Goulet-6/+1
2023-06-26TypeWellFormedInEnvMichael Goulet-1/+1
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-2/+2
2023-06-21Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnrNilstrieb-13/+14
2023-06-19s/Clause/ClauseKindMichael Goulet-13/+14
2023-06-18Continue folding in query normalizer on weak aliasesMichael Goulet-2/+6
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-4/+7
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-1/+2