summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/mod.rs
AgeCommit message (Expand)AuthorLines
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-08-21Point at explicit `'static` obligations on a traitEsteban Küber-3/+7
2024-07-29Use Vec in instantiate_binder_with_fresh_varsBryanskiy-24/+22
2024-07-29Reformat `use` declarations.Nicholas Nethercote-28/+29
2024-07-22Get rid of can_eq_shallowMichael Goulet-12/+0
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-72/+31
2024-07-21Move need_type_info tooMichael Goulet-2/+10
2024-07-21Make type_var_origin take a vidMichael Goulet-10/+4
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-3/+3
2024-07-15Move rustc_infer::infer::error_reporting to rustc_infer::error_reporting::inferMichael Goulet-2/+3
2024-07-11Avoid follow-up errors and ICEs after missing lifetime errors on data structuresOli Scherer-0/+3
2024-07-07Auto merge of #127172 - compiler-errors:full-can_eq-everywhere, r=lcnrbors-13/+3
2024-07-05Split SolverDelegate back out from InferCtxtLikeMichael Goulet-0/+1
2024-07-05Actually just make can_eq process obligations (almost) everywhereMichael Goulet-15/+1
2024-07-05Process alias-relate obligations when proving receiver_is_validMichael Goulet-0/+4
2024-06-26Automatically taint InferCtxt when errors are emittedOli Scherer-16/+3
2024-06-26Restrict diagnostic context lifetime of InferCtxt to itself instead of TyCtxtOli Scherer-3/+3
2024-06-26Restrict diagnostic context lifetime of FnCtxt to InferCtxt instead of TyCtxtOli Scherer-3/+3
2024-06-21Rename a bunch of thingsMichael Goulet-2/+2
2024-06-19Allow constraining opaque types during subtyping in the trait systemOli Scherer-2/+2
2024-06-18Auto merge of #126614 - compiler-errors:uplift-next-trait-solver, r=lcnrbors-145/+6
2024-06-18Use a dedicated type instead of a reference for the diagnostic contextOli Scherer-2/+3
2024-06-18SolverDelegateMichael Goulet-145/+6
2024-06-16rustc_span: Minor improvementsVadim Petrochenkov-2/+2
2024-06-14Make proof tree probing genericMichael Goulet-0/+4
2024-06-13Address nitsMichael Goulet-6/+5
2024-06-13Fix some TODOsMichael Goulet-0/+8
2024-06-13Finish uplifting all of structural_traitsMichael Goulet-15/+60
2024-06-13Rework most of structural_traits to be Interner-agnosticMichael Goulet-1/+20
2024-06-11Rename some thingsMichael Goulet-1/+4
2024-06-11Get rid of PredicateObligationsMichael Goulet-5/+3
2024-06-06Uplift TypeRelation and RelateMichael Goulet-5/+2
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-3/+6
2024-06-05Basic removal of `Ty` from places (boring)Boxy-37/+16
2024-06-04Auto merge of #123536 - compiler-errors:simplify-int-float, r=lcnrbors-56/+74
2024-06-04Rollup merge of #125865 - ajwock:ice_not_fully_resolved, r=fee1-deadMichael Goulet-0/+2
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-2/+2
2024-06-03Nits and formattingMichael Goulet-3/+2
2024-06-03Make TraitEngines generic over errorMichael Goulet-3/+4
2024-06-03Remove unnecessary extension traitMichael Goulet-1/+1
2024-06-03Fix ICE caused by ignoring EffectVars in type inferenceAndrew Wock-0/+2
2024-06-01Address nitsMichael Goulet-4/+4
2024-06-01Inline fold_infer_tyMichael Goulet-35/+35
2024-06-01Simplify IntVarValue/FloatVarValueMichael Goulet-29/+47
2024-05-28Remove TraceMichael Goulet-15/+0
2024-05-24Revert "Rollup merge of #123979 - oli-obk:define_opaque_types7, r=compiler-er...Oli Scherer-15/+2
2024-05-20Rework var resolution in InferCtxtLike, uplift EagerResolverMichael Goulet-17/+27
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-1/+1
2024-05-13split out AliasTy -> AliasTermMichael Goulet-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_infer`.Nicholas Nethercote-0/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 17:04:54 +0000