about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
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
2022-08-23Migrate OpaqueHiddenType, E0282, E0283, E0284, E0698Nikita Tomashevich-130/+373
2022-08-22InferCtxt emit error when incorrectly tainted by errorsyukang-9/+11
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-18/+46
2022-08-21Rework point-at-argMichael Goulet-10/+17
2022-08-20Rollup merge of #100691 - compiler-errors:issue-100690, r=estebankMatthias Krüger-53/+79
2022-08-20Rollup merge of #100617 - chenyukang:fix-100605, r=compiler-errorsMatthias Krüger-1/+2
2022-08-20Suggest the right help message for as_refyukang-1/+2
2022-08-18Auto merge of #99860 - oli-obk:revert_97346, r=pnkfelixbors-6/+8
2022-08-17Make same_type_modulo_infer a proper TypeRelationMichael Goulet-53/+79
2022-08-17ty::Error does not match other types for region constraintsMichael Goulet-1/+8
2022-08-16Fix error message with non-tupled bare fn traitMichael Goulet-0/+13
2022-08-14TypeError can be CopyMichael Goulet-15/+13
2022-08-13Do not inline non-simple argument type errors into labelsMichael Goulet-3/+3
2022-08-12Adjust cfgsMark Rousskov-1/+0
2022-08-10Delay a bug if we try and fail to relate an opaque to itself in TypeRelatingMichael Goulet-0/+4
2022-08-10Fall back when relating two opaques by substs in MIR typeckMichael Goulet-24/+30
2022-08-09don't normalize wf predicateslcnr-1/+1
2022-08-03Rollup merge of #100102 - b-naber:typo-higher-ranked-sub, r=Dylan-DPCMatthias Krüger-1/+1
2022-08-03Remove index from Region::EarlyBound.Camille GILLOT-4/+4
2022-08-03fix typob-naber-1/+1
2022-08-03Auto merge of #99509 - lcnr:commit_unconditionally, r=jackh726bors-12/+0
2022-08-02Auto merge of #100032 - BoxyUwU:no_ty_in_placeholder_const, r=compiler-errorsbors-10/+15
2022-08-02Rollup merge of #99156 - lcnr:omoe-wa, r=wesleywiserMatthias Krüger-4/+2
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-4/+5
2022-08-01fmt...Ellen-5/+10
2022-08-01make `PlaceholderConst` not store the type of the constEllen-7/+7
2022-07-31use appropriate `HirID` for finding `else_span`Takayuki Maeda-6/+10
2022-07-30Rollup merge of #99311 - kckeiks:clean-up-body-owner-methods, r=cjgillotDylan DPC-3/+6
2022-07-30Auto merge of #99796 - compiler-errors:issue-53475, r=oli-obkbors-0/+10
2022-07-30Do not leak type variables from opaque type relationMichael Goulet-3/+14
2022-07-29Rename local_did to def_idMiguel Guarniz-3/+3
2022-07-29Change maybe_body_owned_by to take local def idMiguel Guarniz-3/+6
2022-07-29optimize bound vars replacement :3lcnr-2/+2
2022-07-29Document check_region_obligations_and_report_errors, simplify a call to resol...Michael Goulet-0/+10
2022-07-28Revert "Rollup merge of #97346 - JohnTitor:remove-back-compat-hacks, r=oli-obk"Oli Scherer-6/+8
2022-07-28anonymize all bound vars, not just regionslcnr-4/+4