about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2022-09-22Rollup merge of #102037 - jyn514:normalize-docs, r=lcnrDylan DPC-0/+3
2022-09-22Auto merge of #100980 - compiler-errors:normalize-opaque-w-bound-vars, r=lcnrbors-0/+37
2022-09-22introduce mir::Unevaluatedb-naber-14/+9
2022-09-22Const unification is already infallible, remove the error handling logicOli Scherer-26/+11
2022-09-22Auto merge of #100982 - fee1-dead-contrib:const-impl-requires-const-trait, r=...bors-0/+8
2022-09-22Comment, and bail early if bound vars list differsMichael Goulet-11/+11
2022-09-22Optimize subtyping and equation of GeneratorWitnessMichael Goulet-0/+37
2022-09-21Auto merge of #101558 - JhonnyBillM:session-diagnostic-to-diagnostic-handler-...bors-23/+23
2022-09-21FIX - adopt new Diagnostic naming in newly migrated modulesJhonny Bill Mena-21/+21
2022-09-21UPDATE - rename AddSubdiagnostic trait to AddToDiagnosticJhonny Bill Mena-1/+1
2022-09-21UPDATE - rename DiagnosticHandler trait to IntoDiagnosticJhonny Bill Mena-1/+1
2022-09-21UPDATE - move SessionDiagnostic from rustc_session to rustc_errorsJhonny Bill Mena-1/+1
2022-09-21Improve diagnostic for adding more bounds to opaque typesOli Scherer-1/+9
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-4/+82
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-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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 03:30:16 +0000