summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/mod.rs
AgeCommit message (Expand)AuthorLines
2022-12-26Add IMPLIED_BOUNDS_ENTAILMENT lintMichael Goulet-1/+5
2022-12-02Rollup merge of #105185 - compiler-errors:normalize_fn_sig-in-err-ctxt, r=lcnrMatthias Krüger-25/+7
2022-12-02Move normalize_fn_sig to TypeErrCtxtMichael Goulet-25/+7
2022-12-01Drive-by: remove unused type aliasMichael Goulet-1/+0
2022-11-28Remove `Const::from_value`Maybe Waffle-1/+1
2022-11-28Simplify calls to `tcx.mk_const`Maybe Waffle-2/+2
2022-11-28Remove `tcx.mk_const_var`Maybe Waffle-3/+3
2022-11-26Do not record unresolved const vars in generator interiorMichael Goulet-7/+6
2022-11-25Make `expand_abstract_consts` infallibleBoxy-13/+11
2022-11-25Add expand_abstract_constkadmin-6/+2
2022-11-25Add empty ConstKind::Abstractkadmin-35/+13
2022-11-21Move a field aroundOli Scherer-1/+2
2022-11-21Treat different opaque types of the same def id as equal during coherenceOli Scherer-0/+29
2022-11-18require an `ErrorGuaranteed` to taint infcx with errorsBoxy-8/+7
2022-11-18rename `is_tainted_by_errors` Boxy-8/+12
2022-11-18`InferCtxt::is_tainted_by_errors` returns `ErrorGuaranteed`Boxy-5/+9
2022-11-09Remove save_and_restore_in_snapshot_flagMichael Goulet-26/+0
2022-11-08Reduce the scope of allow(rustc::potential_query_instability) in rustc_trait_...CastilloDel-1/+2
2022-11-06Move fallback_has_occurred to FnCtxtMichael Goulet-2/+2
2022-11-04Refactor tcx mk_const parameters.Mateusz-4/+4
2022-10-27Revert "Make ClosureOutlivesRequirement not rely on an unresolved type"Michael Goulet-1/+1
2022-10-24Assert if inference vars are leaking from fully_resolveMichael Goulet-1/+6
2022-10-19Make ClosureOutlivesRequirement not rely on an unresolved typeMichael Goulet-1/+1
2022-10-14more dupe word typosRageking8-2/+2
2022-10-13fix small word dupe typosRageking8-1/+1
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-11/+8
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-55/+25
2022-10-07Introduce TypeErrCtxtCameron Steffen-79/+87
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-11/+7
2022-09-27rustc_typeck to rustc_hir_analysislcnr-1/+1
2022-09-24separate definitions and `HIR` ownersTakayuki Maeda-2/+3
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-5/+5
2022-09-22introduce mir::Unevaluatedb-naber-6/+5
2022-09-19Auto merge of #101924 - jackh726:revert-static-hrtb-error, r=compiler-errorsbors-1/+23
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-8/+5
2022-09-16Final bitsJack Huey-0/+1
2022-09-16Add AscribeUserTypeProvePredicateJack Huey-1/+12
2022-09-16Add to_constraint_category to ObligationCause and SubregionOriginJack Huey-0/+10
2022-09-16Auto merge of #101902 - jackh726:revert-static-hrtb-error, r=nikomatsakisbors-23/+1
2022-09-16Revert "Better errors for implied static bound"Jack Huey-23/+1
2022-09-15Don't throw away information just to recompute it againOli Scherer-6/+6
2022-09-13Better errors for implied static boundJack Huey-1/+23
2022-09-13rebaseb-naber-1/+1
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-7/+4
2022-09-05Pack `Term` in the same way as `GenericArg`.Nicholas Nethercote-5/+4
2022-08-31Fix a bunch of typoDezhi Wu-1/+1
2022-08-30Rollup merge of #100473 - compiler-errors:normalize-the-fn-def-sig-plz, r=lcnrDylan DPC-0/+18
2022-08-29Various changes to logging of borrowck-related codeJack Huey-11/+1
2022-08-25Attempt to normalize FnDef signature in InferCtxt::cmpMichael Goulet-0/+18
2022-08-22InferCtxt emit error when incorrectly tainted by errorsyukang-8/+10
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 16:55:12 +0000