about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/mod.rs
AgeCommit message (Expand)AuthorLines
2023-01-10Rollup merge of #106204 - compiler-errors:no-take-opaques-in-compare, r=oli-obkYuki Okushi-0/+6
2023-01-09Assert defining anchor is set in take_opaque_typesMichael Goulet-0/+6
2023-01-09Rollup merge of #106164 - compiler-errors:check-region-tweak, r=oli-obkfee1-dead-1/+17
2023-01-08Rollup merge of #106131 - compiler-errors:not-ptrs, r=davidtwcoMichael Goulet-0/+1
2023-01-08Mention signature rather than fn pointers when comparing impl/trait methodsMichael Goulet-0/+1
2023-01-08remove unreachable error code `E0313`Ezra Shaw-4/+0
2023-01-03Move check_region_obligations_and_report_errors to TypeErrCtxtMichael Goulet-1/+17
2022-12-24Bubble up ErrorGuaranteed from region constraints in method item compareMichael Goulet-4/+9
2022-12-19Add IMPLIED_BOUNDS_ENTAILMENT lintMichael Goulet-1/+5
2022-12-18avoid .into() conversion to identical typesMatthias Krüger-1/+1
2022-12-12fold instead of obliterating argsBoxy-15/+38
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 20:16:11 +0000