about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2022-09-08Rollup merge of #101153 - IntQuant:issue-100717-infer-2, r=davidtwcoDylan DPC-395/+745
2022-09-07Rollup merge of #101503 - spastorino:add-debug-calls, r=compiler-errorsMatthias Krüger-2/+4
2022-09-07Auto merge of #101432 - nnethercote:shrink-PredicateS, r=lcnrbors-27/+29
2022-09-07Add instrument and debug callsSantiago Pastorino-2/+4
2022-09-06Whoops forgot a spaceNikita Tomashevich-1/+1
2022-09-06Replace manual impl with a derive macro as multipart suggestions are now supp...Nikita Tomashevich-44/+55
2022-09-06Slightly more concise commentIQuant-4/+1
2022-09-06Use untranslated messages for nowNikita Tomashevich-11/+24
2022-09-06Remove a comment and use IntoDiagnosticArg instead of add_to() where feasibleNikita Tomashevich-14/+17
2022-09-06Address some commentsNikita Tomashevich-73/+61
2022-09-06Mugrate mismatched_static_lifetime.rsNikita Tomashevich-20/+272
2022-09-06Migrate E0623Nikita Tomashevich-119/+205
2022-09-06Rollup merge of #101445 - TaKO8Ki:suggest-introducing-explicit-lifetime, r=ol...Guillaume Gomez-9/+19
2022-09-06Rollup merge of #101434 - JhonnyBillM:replace-session-for-handler-in-into-dia...Guillaume Gomez-7/+7
2022-09-05Auto merge of #101261 - TaKO8Ki:separate-receiver-from-arguments-in-hir, r=cj...bors-5/+5
2022-09-05separate the receiver from arguments in HIRTakayuki Maeda-5/+5
2022-09-05suggest introducing an explicit lifetime if it does not existTakayuki Maeda-9/+19
2022-09-05UPDATE - into_diagnostic to take a Handler instead of a ParseSessJhonny Bill Mena-7/+7
2022-09-05Pack `Term` in the same way as `GenericArg`.Nicholas Nethercote-27/+29
2022-09-05Make `hir::PathSegment::hir_id` non-optional.Nicholas Nethercote-3/+3
2022-09-05Make `hir::PathSegment::res` non-optional.Nicholas Nethercote-11/+6
2022-09-01tracing::instrument cleanupOli Scherer-40/+18
2022-09-01Directly use the `instrument` macro instead of its full pathOli Scherer-7/+7
2022-08-31Fix a bunch of typoDezhi Wu-3/+3
2022-08-31Rollup merge of #101192 - TaKO8Ki:remove-path-string, r=compiler-errorsYuki Okushi-13/+13
2022-08-30Rollup merge of #100473 - compiler-errors:normalize-the-fn-def-sig-plz, r=lcnrDylan DPC-0/+33
2022-08-30Rollup merge of #99928 - compiler-errors:issue-99914, r=oli-obkDylan DPC-3/+14
2022-08-30remove path stringTakayuki Maeda-13/+13
2022-08-30Auto merge of #101183 - Dylan-DPC:rollup-6kewixv, r=Dylan-DPCbors-25/+38
2022-08-30Rollup merge of #101022 - compiler-errors:issue-101020, r=jackh726Dylan DPC-1/+4
2022-08-30Rollup merge of #100092 - compiler-errors:issue-100075, r=oli-obkDylan DPC-24/+34
2022-08-30Auto merge of #100812 - Nilstrieb:revert-let-chains-nightly, r=Mark-Simulacrumbors-0/+1
2022-08-29Auto merge of #101167 - matthiaskrgr:rollup-yt3jdmp, r=matthiaskrgrbors-15/+9
2022-08-29Rollup merge of #101146 - jackh726:borrowck-logging, r=compiler-errorsMatthias Krüger-15/+9
2022-08-29Revert let_chains stabilizationNilstrieb-0/+1
2022-08-29Various changes to logging of borrowck-related codeJack Huey-15/+9
2022-08-29Rollup merge of #99821 - cjgillot:ast-lifetimes-2, r=compiler-errorsDylan DPC-4/+4
2022-08-29Rollup merge of #100843 - IntQuant:issue-100717-infer, r=compiler-errorsMatthias Krüger-212/+534
2022-08-29Rollup merge of #100437 - compiler-errors:better-const-mismatch-err, r=oli-obkMatthias Krüger-0/+5
2022-08-26Drive-by: same_type_modulo_infer should handle ReVar == ReVarMichael Goulet-1/+4
2022-08-25Attempt to normalize FnDef signature in InferCtxt::cmpMichael Goulet-0/+33
2022-08-25Rollup merge of #99332 - jyn514:stabilize-label-break-value, r=petrochenkovYuki Okushi-1/+1
2022-08-24Call them constants instead of typesMichael Goulet-0/+5
2022-08-24Remove commented linesIQuant-2/+0
2022-08-24Use `IntoDiagnosticArg` where it makes senseNikita Tomashevich-40/+55
2022-08-23Stabilize `#![feature(label_break_value)]`Joshua Nelson-1/+1
2022-08-23Rollup merge of #100368 - chenyukang:fix-100321, r=lcnrDylan DPC-9/+11
2022-08-23Migrate note_region_origin functionNikita Tomashevich-53/+130
2022-08-23Use GeneratorKind::descr() instead of it's Display implNikita Tomashevich-2/+2
2022-08-23Actually migrate OpaqueHiddenTypeNikita Tomashevich-16/+6