summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/mod.rs
AgeCommit message (Expand)AuthorLines
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-1/+1
2022-08-02Rollup merge of #99156 - lcnr:omoe-wa, r=wesleywiserMatthias Krüger-4/+2
2022-08-01make `PlaceholderConst` not store the type of the constEllen-1/+1
2022-07-30Auto merge of #99796 - compiler-errors:issue-53475, r=oli-obkbors-0/+4
2022-07-29Document check_region_obligations_and_report_errors, simplify a call to resol...Michael Goulet-0/+4
2022-07-28`BoundVarReplacer`: trait object instead of 3 fnslcnr-25/+50
2022-07-26Rollup merge of #99748 - compiler-errors:better-impl-trait-printing, r=fee1-deadDylan DPC-2/+2
2022-07-26Rollup merge of #99618 - compiler-errors:uhh-idk, r=lcnrDylan DPC-6/+55
2022-07-26Address nits, move substs replacement to separate functionMichael Goulet-27/+41
2022-07-26Use real opaque type instead of just saying impl TraitMichael Goulet-2/+2
2022-07-25handle consts with param/infer in const_eval_resolve betterMichael Goulet-6/+41
2022-07-24Combine redundant obligation cause codesMichael Goulet-22/+5
2022-07-21`region_outlives_predicate` no snapshotlcnr-10/+5
2022-07-21move `considering_regions` to the infcxlcnr-2/+20
2022-07-20remove `commit_unconditionally`lcnr-12/+0
2022-07-20take opaq typesouz-a-7/+25
2022-07-19Use LocalDefId in OpaqueTypeKeyMichael Goulet-1/+1
2022-07-15provide `generic_param_scope` for region errorslcnr-2/+6
2022-07-14Fix overlapping implskadmin-3/+8
2022-07-08Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiserbors-0/+4
2022-07-07Move is_free and is_free_or_static to Region, change resolve_var to resolve_r...Jack Huey-4/+0
2022-07-06use `TraitEngineExt` to register obligationslcnr-4/+2
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-1/+2
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-1/+1
2022-07-04region obligations, remove `body_id`lcnr-3/+2
2022-07-04remove an unused `DefId`lcnr-9/+3
2022-06-30Make `evaluate_obligation` not succeed unconditionally if it registered new h...Oli Scherer-0/+4
2022-06-15implement (unused) matching solverNiko Matsakis-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-3/+25
2022-06-14Rollup merge of #97935 - nnethercote:rename-ConstS-val-as-kind, r=lcnrDylan DPC-2/+2
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-2/+2
2022-06-13Remove RegionckMode in favor of calling new skip_region_resolutionJack Huey-18/+29
2022-06-10use FxHashMap instead of BTreeMaplcnr-4/+3
2022-06-10eagerly check whether we replace any bound varslcnr-1/+5
2022-06-10bound_vars -> infer: don't return lt maplcnr-3/+2
2022-06-10replace bound vars: make caching explicitlcnr-12/+24
2022-06-08Folding revamp.Nicholas Nethercote-1/+1
2022-06-03Fully stabilize NLLJack Huey-24/+1
2022-05-20update commentslcnr-1/+1
2022-05-02fix most compiler/ doctestsElliot Roberts-2/+2
2022-04-16Rollup merge of #95908 - compiler-errors:shallow_resolve_ty-inline, r=oli-obkDylan DPC-44/+39
2022-04-16Implementation for 65853Jack Huey-2/+2
2022-04-10Inline shallow_resolve_ty into ShallowResolverMichael Goulet-44/+39
2022-04-02Rollup merge of #95560 - lcnr:obligation-cause, r=oli-obkDylan DPC-3/+7
2022-04-01convert more `DefId`s to `LocalDefId`lcnr-3/+7
2022-04-01remove `unify_key::replace_if_possible`lcnr-2/+0
2022-04-01update commentslcnr-3/+3
2022-03-31remove unused field from `infcx`lcnr-25/+2
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1