about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-0/+1
2023-06-12extend assertlcnr-3/+3
2023-06-11Rollup merge of #112513 - compiler-errors:dont-compute-box-span-for-tait, r=c...Matthias Krüger-1/+19
2023-06-11Don't suggest boxing an empty if/else armMichael Goulet-1/+19
2023-06-09split opaque type handling in new solverlcnr-36/+47
2023-06-09recompute opaque type originlcnr-20/+11
2023-06-08Don't suggest cyclic associated type constraintMichael Goulet-0/+6
2023-06-08More robust as_ref/as_deref suggestionsMichael Goulet-52/+3
2023-06-07Rollup merge of #112122 - compiler-errors:next-coherence, r=lcnrDylan DPC-27/+43
2023-06-07Auto merge of #111047 - compiler-errors:rtn-no-ty-ct-params, r=spastorinobors-1/+0
2023-06-06Fix comment for `get_region_var_origins`Nilstrieb-5/+5
2023-06-06Make TraitEngine::new use the right solver, add compare modeMichael Goulet-11/+9
2023-06-06New trait solver is a property of inference contextMichael Goulet-27/+45
2023-06-05Remove redundant InferCtxtExt::fresh_item_substsMichael Goulet-1/+0
2023-06-02Normalize anon consts in new solverMichael Goulet-1/+1
2023-06-02No more TyCtxt::lazy_normalizationMichael Goulet-1/+1
2023-06-01Rename `impl_defaultness` to `defaultness`Deadbeef-1/+1
2023-05-30change redundant `clear()` to assertionlcnr-4/+2
2023-05-30rework the leak_check to take the outer_universelcnr-111/+106
2023-05-30coherence: don't add hidden types for opaqueslcnr-10/+22
2023-05-30leak_check: remove unused codepathlcnr-26/+6
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-25/+28
2023-05-29Use `Cow` in `{D,Subd}iagnosticMessage`.Nicholas Nethercote-26/+30
2023-05-28Make EarlyBinder's inner value private; and fix all of the resulting errorsKyle Matsuda-1/+1
2023-05-26Auto merge of #111918 - compiler-errors:custom-type-ops-err, r=lcnrbors-2/+2
2023-05-25Ensure Fluent messages are in alphabetical orderclubby789-295/+296
2023-05-25Fallible<_> -> Result<_, NoSolution>Michael Goulet-2/+2
2023-05-25Add InferCtxt::register_hidden_type_in_new_solverMichael Goulet-0/+23
2023-05-25Move DefiningAnchorMichael Goulet-14/+3
2023-05-25Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu...Michael Goulet-26/+57
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-7/+7
2023-05-20Rollup merge of #111450 - compiler-errors:opaque-ty-key, r=oli-obkGuillaume Gomez-6/+22
2023-05-18do not overwrite obligationslcnr-7/+6
2023-05-16Rollup merge of #111602 - tmiasko:erroneous-constant-used, r=oli-obkNilstrieb-1/+1
2023-05-15Replace RelationDir with VarianceMichael Goulet-63/+29
2023-05-15Rename super_relate_* to structurally_relate_*Michael Goulet-7/+7
2023-05-15Tweaks and a testMichael Goulet-51/+52
2023-05-15yeet ConstInferUnifierMichael Goulet-180/+63
2023-05-15Simplify delegateMichael Goulet-69/+70
2023-05-15Combine TypeGeneralizer and GeneralizerMichael Goulet-588/+467
2023-05-15Auto merge of #111570 - compiler-errors:ct-err, r=BoxyUwUbors-2/+2
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-1/+1
2023-05-14Rename const error methods for consistencyMichael Goulet-2/+2
2023-05-13Rollup merge of #110454 - oli-obk:limited_impl_trait_in_assoc_type, r=compile...Dylan DPC-3/+17
2023-05-12Auto merge of #109732 - Urgau:uplift_drop_forget_ref_lints, r=davidtwcobors-1/+1
2023-05-12Use the opaque_types_defined_by query to cheaply check for whether a hidden t...Oli Scherer-124/+13
2023-05-12Require `impl Trait` in associated types to appear in method signaturesOli Scherer-10/+135
2023-05-10Use OpaqueTypeKey in query responseMichael Goulet-6/+22
2023-05-10Remove and fix useless drop of referenceUrgau-1/+1
2023-05-09add EarlyBinder to thir_abstract_const; remove tcx.bound_abstract_constKyle Matsuda-1/+1