about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2022-09-21Some tracing instrumentation cleanupsOli Scherer-3/+2
2022-09-21Split match out into a helper functionOli Scherer-25/+34
2022-09-20Skip Equate relation in handle_opaque_typeMichael Goulet-10/+3
2022-09-20Better binder treatmentMichael Goulet-1/+1
2022-09-19Make cycle errors recoverableJoshua Nelson-0/+3
2022-09-19Incorporate feedbackmejrs-79/+36
2022-09-19improve infer var handling for implied boundslcnr-0/+2
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-5/+5
2022-09-19Auto merge of #101924 - jackh726:revert-static-hrtb-error, r=compiler-errorsbors-36/+111
2022-09-18Print out the proper crate pathmejrs-6/+2
2022-09-18Address feedbackmejrs-31/+142
2022-09-18Note if mismatched types have a similar namemejrs-4/+48
2022-09-17Auto merge of #101857 - lcnr:make-dyn-again, r=jackh726bors-6/+7
2022-09-17Rollup merge of #93628 - est31:stabilize_let_else, r=joshtriplettDylan DPC-1/+1
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-10/+10
2022-09-16Final bitsJack Huey-8/+8
2022-09-16Add AscribeUserTypeProvePredicateJack Huey-1/+40
2022-09-16Add to_constraint_category to ObligationCause and SubregionOriginJack Huey-6/+16
2022-09-16Pass ConstraintCategory thorough a few more placesJack Huey-7/+20
2022-09-16Make QueryOutlivesConstraint contain a ConstraintCategoryJack Huey-26/+39
2022-09-16Auto merge of #101902 - jackh726:revert-static-hrtb-error, r=nikomatsakisbors-115/+36
2022-09-16Revert "Better errors for implied static bound"Jack Huey-115/+36
2022-09-16remap ParamEnv with obligationDeadbeef-0/+8
2022-09-15Only enable the let_else feature on bootstrapest31-1/+1
2022-09-15Don't throw away information just to recompute it againOli Scherer-6/+6
2022-09-15change `FnMutDelegate` to trait objectslcnr-6/+7
2022-09-14Auto merge of #101212 - eholk:dyn-star, r=compiler-errorsbors-1/+1
2022-09-14Rollup merge of #101433 - jackh726:better-static-placeholder-error, r=compile...Dylan DPC-36/+115
2022-09-14Auto merge of #101709 - nnethercote:simplify-visitors-more, r=cjgillotbors-1/+1
2022-09-13Better errors for implied static boundJack Huey-36/+115
2022-09-13rebaseb-naber-1/+1
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-9/+9
2022-09-13Auto merge of #101615 - compiler-errors:rpitit-perf, r=oli-obkbors-1/+1
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-1/+1
2022-09-12Remove unused argument from `visit_poly_trait_ref`.Nicholas Nethercote-1/+1
2022-09-12Fix ICE in opt_suggest_box_spanMichael Goulet-1/+2
2022-09-10Auto merge of #98559 - jackh726:remove-reempty, r=oli-obkbors-114/+256
2022-09-10split compare_predicate_entailment and collect_trait_impl_trait_tys outMichael Goulet-1/+1
2022-09-09Fix documentation lint failuresMichael Goulet-1/+1
2022-09-09Adjust pretty printing of RPITITsMichael Goulet-0/+14
2022-09-09Handle generic parameters.Camille GILLOT-1/+1
2022-09-08Combine logic from lubs into lub_empty functionJack Huey-65/+46
2022-09-08Make some functions pub(super)Jack Huey-14/+14
2022-09-08Remove ReEmptyJack Huey-103/+6
2022-09-08Don't construct ReEmpty regions in resolve_varJack Huey-5/+102
2022-09-08Create VarValue::EmptyJack Huey-20/+181
2022-09-08Don't use reempty as an implicit_outlives_regionJack Huey-2/+2
2022-09-08Auto merge of #98900 - lcnr:region-stuff, r=jackh726bors-12/+8
2022-09-08don't evaluate with escaping bound varslcnr-6/+2
2022-09-08generalize: no need to cache errorslcnr-6/+6