about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2019-04-03Deny internal lints in librustcflip1995-11/+11
2019-04-01Refactor async fn return type loweringTaylor Cramer-20/+60
2019-03-31Suggest using anonymous lifetime in `impl Trait` return without hacksEsteban Küber-34/+13
2019-03-29Suggest using anonymous lifetime in `impl Trait` returnEsteban Küber-6/+36
2019-03-27Use Vec instead of FxHashMapvarkor-19/+20
2019-03-27Lookup region variable origin instead of choosing onevarkor-12/+16
2019-03-27Store type variable origins in InferenceFudgervarkor-6/+13
2019-03-27Use `eq_relations`varkor-10/+8
2019-03-27Add `next_int_var` and `next_float_var`varkor-6/+14
2019-03-27Simplify `fudge_inference_if_ok`varkor-19/+19
2019-03-27Add int variables and float variables to `InferenceFudger`varkor-9/+35
2019-03-27Rename `RegionFudger` to `InferenceFudger`varkor-7/+7
2019-03-27Remove `TypeVariableMap`varkor-2/+0
2019-03-27Use Ranges for vars_since_snapshotvarkor-39/+37
2019-03-27Simplify `TypeVariableTable::vars_since_snapshot`varkor-13/+4
2019-03-27Simplify `RegionConstraintCollector::vars_since_snapshot`varkor-6/+1
2019-03-27Make `vars_since_snapshot` naming consistentvarkor-12/+10
2019-03-20expand the fixmeNiko Matsakis-1/+4
2019-03-20refactor so that `relate_ty_var` can accommodate vid on a or b sideNiko Matsakis-22/+130
2019-03-20nll_relate/mod.rs: rustfmtNiko Matsakis-25/+27
2019-03-20Fix a bug in chalk unification codescalexm-2/+14
2019-03-15rustc: provide DisambiguatedDefPathData in ty::print.Eduard-Mihai Burtescu-2/+4
2019-03-15rustc: slice substs in ty::print instead of passing the full ones.Eduard-Mihai Burtescu-1/+1
2019-03-15rustc: remove PrintCx from ty::Print and rely on printers carrying TyCtxt.Eduard-Mihai Burtescu-34/+34
2019-03-15rustc: don't thread existential projections through path_generic_args.Eduard-Mihai Burtescu-4/+11
2019-03-15rustc: make `pretty_path_generic_args`' task as simple as possible.Eduard-Mihai Burtescu-3/+2
2019-03-15rustc: print elided regions as '_ instead of nothing, and use a separate chec...Eduard-Mihai Burtescu-3/+7
2019-03-15rustc: move ty::print::PrintConfig's fields to FmtPrinter.Eduard-Mihai Burtescu-10/+5
2019-03-15rustc: make util::ppaux private.Eduard-Mihai Burtescu-1/+1
2019-03-15rustc: don't pass Namespace explicitly, but rather track it in FmtPrinter.Eduard-Mihai Burtescu-7/+6
2019-03-15rustc: support overriding type printing in ty::print::Printer.Eduard-Mihai Burtescu-0/+8
2019-03-15rustc: support overriding region printing in ty::print::Printer.Eduard-Mihai Burtescu-0/+8
2019-03-15rustc: centralize region printing in ty::RegionKind's Print impl.Eduard-Mihai Burtescu-2/+5
2019-03-15rustc: don't keep RegionHighlightMode in a thread-local.Eduard-Mihai Burtescu-113/+142
2019-03-15rustc: pass ty::print::PrintCx by value.Eduard-Mihai Burtescu-11/+26
2019-03-15rustc: split off most of ty::print::PrintCx's fields into a separate struct.Eduard-Mihai Burtescu-2/+3
2019-03-15rustc: uniformize ty::print's error handling by requiring Result.Eduard-Mihai Burtescu-8/+12
2019-03-15rustc: remove `ty::print::FORCE_ABSOLUTE` altogether.Eduard-Mihai Burtescu-2/+2
2019-03-15rustc: assert `ty::print::FORCE_ABSOLUTE` isn't needed anymore.Eduard-Mihai Burtescu-9/+58
2019-03-15rustc: merge PrintCx::parameterized and def_path printing.Eduard-Mihai Burtescu-2/+5
2019-03-15rustc: rename item_path to def_path (except the module in ty).Eduard-Mihai Burtescu-10/+10
2019-03-15rustc: remove TyCtxt::parent_def_id in favor of TyCtxt::parent.Eduard-Mihai Burtescu-2/+2
2019-03-15rustc: tie the 'tcx between Print and PrintCx in ty::print.Eduard-Mihai Burtescu-1/+1
2019-03-15rustc: rename PrintContext to PrintCx.Eduard-Mihai Burtescu-1/+1
2019-03-13Use derive macro for HashStableJohn Kåre Alsaker-7/+8
2019-03-07HirIdification: replace NodeId method callsljedrz-15/+15
2019-03-05Clean up some generic substs handlingvarkor-10/+21
2019-03-05Stub methods in infervarkor-19/+34
2019-02-27rename Substs to InternalSubstscsmoe-11/+11
2019-02-26replace &'tcx Substs with SubstsRefcsmoe-16/+16