about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/canonical
AgeCommit message (Expand)AuthorLines
2023-12-14update use of feature flagslcnr-2/+2
2023-12-14Auto merge of #117749 - aliemjay:perf-canon-cache, r=lcnrbors-114/+122
2023-12-14remove canonicalize_query_preserving_universesAli MJ Al-Nasrawy-47/+0
2023-12-14make infcx optional in canonicalizerAli MJ Al-Nasrawy-45/+35
2023-12-13don't resolve regions in query inputAli MJ Al-Nasrawy-15/+15
2023-12-13don't store OriginalQueryValues::universe_mapAli MJ Al-Nasrawy-0/+1
2023-12-13global param_env canonicalization cacheAli MJ Al-Nasrawy-15/+79
2023-12-08cleanup type variable storagelcnr-4/+1
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+2
2023-11-22Cache flags for ty::ConstMichael Goulet-3/+5
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-14finish `RegionKind` renamelcnr-4/+8
2023-11-14Auto merge of #117773 - nnethercote:rm-Zperf-stats, r=wesleywiserbors-7/+0
2023-11-13rename `ReLateBound` to `ReBound`lcnr-4/+4
2023-11-13Remove `-Zperf-stats`.Nicholas Nethercote-7/+0
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-1/+1
2023-10-24Get rid of 'tcx on ConstVid, EffectVidMichael Goulet-1/+1
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-09-24Remove span from BrAnon.Camille GILLOT-1/+1
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-1/+0
2023-09-10Implement fallback for effect paramDeadbeef-2/+18
2023-08-03Placeholder nitMichael Goulet-8/+2
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-7/+7
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-5/+5
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-6/+3
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-4/+2
2023-06-19s/Clause/ClauseKindMichael Goulet-9/+9
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-8/+9
2023-05-25Fallible<_> -> Result<_, NoSolution>Michael Goulet-2/+2
2023-05-10Use OpaqueTypeKey in query responseMichael Goulet-6/+22
2023-05-03remove `inside_canonicalization_ctxt` flaglcnr-2/+0
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
2023-04-27rename `needs_infer` to `has_infer`Boxy-3/+3
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-4/+4
2023-04-17Spelling - compilerJosh Soref-2/+2
2023-04-06Remove index from BrAnonJack Huey-1/+1
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-6/+6
2023-03-31allow ReError in CanonicalUserTypeAnnotationAli MJ Al-Nasrawy-2/+2
2023-03-28Rollup merge of #109629 - aliemjay:remove-givens, r=lcnrnils-3/+1
2023-03-26remove obsolete `givens` from regionckAli MJ Al-Nasrawy-3/+1
2023-03-23Auto merge of #108861 - b-naber:eager-nll-type-relating, r=lcnrbors-0/+2
2023-03-22assertion for only collection nll region variable information for debug in no...b-naber-0/+2
2023-03-17Remove VecMapMichael Goulet-3/+1
2023-03-16Rollup merge of #109166 - lcnr:define_opaque_types-explicit, r=oli-obkMatthias Krüger-7/+13
2023-03-15Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr"Rémy Rakic-1/+3
2023-03-15always make `define_opaque_types` explicitlcnr-7/+13
2023-03-15Auto merge of #107376 - aliemjay:remove-givens, r=lcnrbors-3/+1
2023-03-09Fix canonicalizer bug for int/float vars tooMichael Goulet-9/+22
2023-03-09remove obsolete `givens` from regionckAli MJ Al-Nasrawy-3/+1