about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2024-06-12Stop passing traitref/traitpredicate by refMichael Goulet-5/+4
2024-06-12Use Variance glob import everywhereMichael Goulet-35/+23
2024-06-12Move MatchAgainstFreshVars to old solverMichael Goulet-123/+0
2024-06-12Rollup merge of #126301 - nnethercote:sort-crate-attributes, r=davidtwcoJubilee-4/+6
2024-06-12Use `tidy` to sort crate attributes for all compiler crates.Nicholas Nethercote-4/+6
2024-06-11Try not to make obligations in handle_opaque_typeMichael Goulet-75/+66
2024-06-11Rename some thingsMichael Goulet-38/+40
2024-06-11Make ObligationEmittingRelation deal with Goals onlyMichael Goulet-49/+92
2024-06-11Get rid of PredicateObligationsMichael Goulet-17/+13
2024-06-10Add explanatory note to async block type mismatch errorGurinder Singh-0/+9
2024-06-06Uplift TypeRelation and RelateMichael Goulet-72/+184
2024-06-06Uplift TypeErrorMichael Goulet-5/+5
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-4/+7
2024-06-05Basic removal of `Ty` from places (boring)Boxy-77/+40
2024-06-05bivariant alias: set `has_unconstrained_ty_var`lcnr-2/+10
2024-06-04Auto merge of #123536 - compiler-errors:simplify-int-float, r=lcnrbors-131/+114
2024-06-04Rollup merge of #125865 - ajwock:ice_not_fully_resolved, r=fee1-deadMichael Goulet-0/+5
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-3/+3
2024-06-03Nits and formattingMichael Goulet-15/+35
2024-06-03Move FulfillmentErrorCode to rustc_trait_selection tooMichael Goulet-41/+1
2024-06-03Make TraitEngines generic over errorMichael Goulet-62/+29
2024-06-03Remove unnecessary extension traitMichael Goulet-23/+19
2024-06-03Fix ICE caused by ignoring EffectVars in type inferenceAndrew Wock-0/+5
2024-06-01Address nitsMichael Goulet-4/+4
2024-06-01Inline fold_infer_tyMichael Goulet-35/+35
2024-06-01Simplify IntVarValue/FloatVarValueMichael Goulet-104/+87
2024-05-31Rollup merge of #125774 - mu001999-contrib:fix/125757, r=compiler-errorsMatthias Krüger-2/+2
2024-05-31Avoid unwrap diag.code directlyr0cky-2/+2
2024-05-30Auto merge of #125711 - oli-obk:const_block_ice2, r=Nadrierilbors-13/+7
2024-05-30Auto merge of #125671 - BoxyUwU:remove_const_ty_eq, r=compiler-errorsbors-8/+1
2024-05-29Partially implement `ConstArgHasType`Boxy-8/+1
2024-05-29Make `body_owned_by` return the body directly.Oli Scherer-8/+6
2024-05-29Don't require `visit_body` to take a lifetime that must outlive the function ...Oli Scherer-5/+1
2024-05-28Remove TraceMichael Goulet-141/+71
2024-05-28Get rid of manual Trace callsMichael Goulet-0/+17
2024-05-28Rollup merge of #125640 - fmease:plz-no-stringify, r=estebankJubilee-4/+9
2024-05-28Don't suggest turning non-char-literal exprs of ty `char` into string literalsLeón Orell Valerian Liehr-4/+9
2024-05-27Auto merge of #125468 - BoxyUwU:remove_defid_from_regionparam, r=compiler-errorsbors-60/+182
2024-05-25place explicit lifetime bound after generic parambohan-3/+15
2024-05-25Rollup merge of #125451 - oli-obk:const_type_mismatch, r=compiler-errorsMatthias Krüger-32/+7
2024-05-25Auto merge of #124187 - compiler-errors:self-ctor, r=petrochenkovbors-62/+43
2024-05-24Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics)Boxy-60/+182
2024-05-24Revert "Rollup merge of #123979 - oli-obk:define_opaque_types7, r=compiler-er...Oli Scherer-15/+2
2024-05-24Use regular type equating instead of a custom queryOli Scherer-29/+7
2024-05-24Fail relating constants of different typesOli Scherer-8/+5
2024-05-23Handle `ReVar` in `note_and_explain_region`.Nicholas Nethercote-1/+4
2024-05-21Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from...Michael Goulet-5/+4
2024-05-21Auto merge of #125284 - compiler-errors:uplift-misc, r=lcnrbors-98/+27
2024-05-20Rework var resolution in InferCtxtLike, uplift EagerResolverMichael Goulet-98/+27
2024-05-20Rollup merge of #124682 - estebank:issue-40990, r=pnkfelixMatthias Krüger-34/+127