about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/outlives
AgeCommit message (Expand)AuthorLines
2023-01-03Move check_region_obligations_and_report_errors to TypeErrCtxtMichael Goulet-20/+1
2022-12-24Bubble up ErrorGuaranteed from region constraints in method item compareMichael Goulet-1/+1
2022-12-20Auto merge of #105575 - compiler-errors:impl-wf-lint, r=oli-obkbors-1/+2
2022-12-19Auto merge of #103600 - compiler-errors:early-binder-nits, r=spastorinobors-6/+5
2022-12-19Add IMPLIED_BOUNDS_ENTAILMENT lintMichael Goulet-1/+2
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-2/+2
2022-12-13Combine projection and opaque into aliasMichael Goulet-4/+6
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-4/+4
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-3/+3
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-2/+2
2022-12-13EarlyBinder nitsMichael Goulet-6/+5
2022-11-26Ignore bivariant parameters in test_type_match.Camille GILLOT-2/+5
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-6/+7
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+5
2022-11-21Treat different opaque types of the same def id as equal during coherenceOli Scherer-0/+5
2022-10-27Revert "Make ClosureOutlivesRequirement not rely on an unresolved type"Michael Goulet-4/+4
2022-10-19Make ClosureOutlivesRequirement not rely on an unresolved typeMichael Goulet-4/+4
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-6/+6
2022-10-07Introduce TypeErrCtxtCameron Steffen-1/+1
2022-09-25Auto merge of #95474 - oli-obk:tait_ub, r=jackh726bors-115/+159
2022-09-25Rollup merge of #102016 - lcnr:given-OutlivesEnvironment, r=jackh726Matthias Krüger-0/+2
2022-09-23Report diagnostics at the actually actionable siteOli Scherer-1/+4
2022-09-21Try out a perf optimizationOli Scherer-0/+5
2022-09-21Inline substitution logic into `declared_region_bounds`Oli Scherer-29/+11
2022-09-21Also collect bounds from the ParamEnv for opaque typesOli Scherer-46/+32
2022-09-21Neither require nor imply lifetime bounds on opaque type for well formednessOli Scherer-2/+59
2022-09-21Generalize projection_must_outliveOli Scherer-14/+29
2022-09-21Generalize a helper to be useful for types other than projectionsOli Scherer-7/+7
2022-09-21Inline a trivial functionOli Scherer-25/+13
2022-09-21Some tracing instrumentation cleanupsOli Scherer-3/+2
2022-09-21Split match out into a helper functionOli Scherer-25/+34
2022-09-19improve infer var handling for implied boundslcnr-0/+2
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+1
2022-09-16Add to_constraint_category to ObligationCause and SubregionOriginJack Huey-3/+3
2022-09-16Pass ConstraintCategory thorough a few more placesJack Huey-7/+20
2022-09-16Revert "Better errors for implied static bound"Jack Huey-24/+7
2022-09-13Better errors for implied static boundJack Huey-7/+24
2022-09-07Add instrument and debug callsSantiago Pastorino-2/+4
2022-09-01tracing::instrument cleanupOli Scherer-1/+1
2022-09-01Directly use the `instrument` macro instead of its full pathOli Scherer-4/+4
2022-08-29Various changes to logging of borrowck-related codeJack Huey-2/+2
2022-08-22re-base and use `OutlivesEnvironment::with_bounds`SparrowLii-1/+1
2022-08-22add `with_bounds` to `OutlivesEnvironment` and `implied_bounds_tys` to `outli...SparrowLii-21/+20
2022-08-22get rid of `RefCell` in `TransitiveRelation`SparrowLii-7/+44
2022-08-21Rework point-at-argMichael Goulet-1/+2
2022-08-17ty::Error does not match other types for region constraintsMichael Goulet-1/+8
2022-07-30Auto merge of #99796 - compiler-errors:issue-53475, r=oli-obkbors-0/+6
2022-07-29Document check_region_obligations_and_report_errors, simplify a call to resol...Michael Goulet-0/+6
2022-07-25use `FxIndexSet` for `region_bound_pairs`lcnr-14/+19
2022-07-15provide `generic_param_scope` for region errorslcnr-1/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-25 06:52:55 +0000