about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/at.rs
AgeCommit message (Expand)AuthorLines
2025-09-17Remove ImplSubjectCameron Steffen-18/+1
2025-07-25uniquify root goals during HIR typecklcnr-0/+2
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-02-05Pass spans around new solverMichael Goulet-4/+19
2025-01-30Normalize vtable entries before walking and deduplicating themMichael Goulet-0/+24
2024-11-23Remove unnecessary bool from ExpectedFoundMichael Goulet-29/+13
2024-10-29TypingMode :thinking:lcnr-9/+27
2024-10-10Use SolverRelating in favor of TypeRelating in the old solver where possibleMichael Goulet-27/+71
2024-10-10Remove unnecessary StructurallyRelateAliases from CombineFields/TypeRelatingMichael Goulet-4/+1
2024-10-10Use SolverRelating in new solverMichael Goulet-43/+0
2024-10-07Remove At methods that are unusedMichael Goulet-41/+0
2024-10-07Remove unnecessary DefineOpaqueTypes from lubMichael Goulet-14/+2
2024-10-07Inline CombineFieldsMichael Goulet-44/+45
2024-10-07Simplify two matches.Nicholas Nethercote-15/+1
2024-10-07Remove `InferCtxt::err_count_on_creation`.Nicholas Nethercote-1/+0
2024-09-27Get rid of a_is_expected from ToTraceMichael Goulet-109/+36
2024-09-27Instantiate binders when checking supertrait upcastingMichael Goulet-1/+18
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+2
2024-06-15Rollup merge of #126354 - compiler-errors:variance, r=lcnrMatthias Krüger-4/+4
2024-06-13Address nitsMichael Goulet-14/+23
2024-06-13Finish uplifting all of structural_traitsMichael Goulet-0/+44
2024-06-12Use Variance glob import everywhereMichael Goulet-4/+4
2024-06-11Rename some thingsMichael Goulet-1/+1
2024-06-11Make ObligationEmittingRelation deal with Goals onlyMichael Goulet-24/+28
2024-06-06Uplift TypeRelation and RelateMichael Goulet-2/+2
2024-05-28Remove TraceMichael Goulet-126/+60
2024-05-28Get rid of manual Trace callsMichael Goulet-0/+17
2024-05-18Uplift GenericArgKind, CanonicalVarValues, QueryInputMichael Goulet-7/+19
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-0/+14
2024-05-13split out AliasTy -> AliasTermMichael Goulet-0/+14
2024-05-13Remove `extern crate rustc_middle` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-04-16Rollup merge of #123969 - oli-obk:define_opaque_types6, r=compiler-errorsMatthias Krüger-1/+1
2024-04-15The new solver ignores `DefineOpaqueTypes`, so switch it to `Yes`Oli Scherer-1/+1
2024-04-15PolyTraitRefs -> TraitRefsMichael Goulet-19/+1
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-1/+1
2024-03-01Remove a_is_expected from combine relationsMichael Goulet-62/+29
2024-02-29Overhaul how stashed diagnostics work, again.Nicholas Nethercote-1/+0
2024-02-26always emit `AliasRelate` goals when relating aliaseslcnr-1/+17
2024-02-13remove questionable calls to `commit_if_ok`lcnr-28/+20
2024-02-09Fix `ErrorGuaranteed` unsoundness with stash/steal.Nicholas Nethercote-0/+1
2024-01-19Add trait obligation tracking to FulfillCtxt and expose FnCtxt in rustc_infer...Gavin Gray-0/+1
2024-01-12rename `reported_signature_mismatch` to reflect its uselcnr-1/+1
2023-11-24Unify TraitRefs and PolyTraitRefsMichael Goulet-1/+5
2023-11-20Don't require intercrate mode for negative coherenceMichael Goulet-2/+9
2023-09-22Allow higher-ranked fn sigs in ValuePairsMichael Goulet-1/+22
2023-08-03Rework upcastingMichael Goulet-0/+28
2023-07-03add deep normalization via the new solverlcnr-0/+1
2023-06-29change snapshot tracking in fulfillment contextslcnr-1/+0
2023-06-06New trait solver is a property of inference contextMichael Goulet-0/+1
2023-05-30rework the leak_check to take the outer_universelcnr-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 09:01:07 +0000