summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2017-06-12rustc: T: 'empty always holds forall T.Eduard-Mihai Burtescu-0/+7
2017-06-01ergonomic improvements to the methods in infcxNiko Matsakis-167/+334
2017-06-01strip param-env from infcxNiko Matsakis-83/+106
2017-06-01move projection mode into parameter environmentNiko Matsakis-36/+22
2017-06-01Auto merge of #42281 - eddyb:well-adjusted, r=nikomatsakisbors-27/+13
2017-06-01rustc: keep overloaded autoderef MethodCallee's in Adjust.Eduard-Mihai Burtescu-27/+13
2017-06-01Rollup merge of #42297 - tschottdorf:proj-ty, r=nikomatsakisCorey Farwell-1/+2
2017-05-31Upgrade ProjectionTy's Name to a DefIdTobias Schottdorf-1/+2
2017-05-24Include context info into closure_kindsTommy Ip-1/+5
2017-05-22rename `parameter_environment` to `param_env`Niko Matsakis-5/+5
2017-05-22use `ParamEnv` from `ty` rather than importingNiko Matsakis-2/+2
2017-05-22rename `ParameterEnvironment` to `ParamEnv`Niko Matsakis-15/+15
2017-05-22centralize the caching for is-copy, is-sized, and is-freezeNiko Matsakis-8/+6
2017-05-18Fix off-by-one error in column number in `explain_span`.Florian Hartwig-1/+1
2017-05-15use equality in the coerce-unsized checkNiko Matsakis-0/+19
2017-05-13rustc: stop interning CodeExtent, it's small enough.Eduard-Mihai Burtescu-18/+18
2017-05-13rustc: remove redundant fn_id's from CodeExtentData.Eduard-Mihai Burtescu-2/+2
2017-05-13rustc: treat ReEarlyBound as free without replacing it with ReFree.Eduard-Mihai Burtescu-54/+72
2017-05-13rustc: use DefId instead of CodeExtent for FreeRegion's scope.Eduard-Mihai Burtescu-16/+15
2017-05-13rustc: uniformly compute ParameterEnvironment's "free outlive scope".Eduard-Mihai Burtescu-3/+3
2017-05-12Auto merge of #41716 - nikomatsakis:issue-41677, r=arielb1bors-41/+143
2017-05-11add a WF obligation if a type variable appears in bivariant positionNiko Matsakis-18/+69
2017-05-11replace the type generalizer with one based on varianceNiko Matsakis-35/+86
2017-05-11do not fetch variance for items when equatingNiko Matsakis-1/+20
2017-05-09Improve E0477 error messageGuillaume Gomez-2/+9
2017-05-08Remove need for &format!(...) or &&"" dances in `span_label` callsOliver Schneider-2/+2
2017-05-01pacify the mercilous tidyNiko Matsakis-1/+3
2017-04-30introduce per-fn RegionMapsTaylor Cramer-64/+69
2017-04-30intern CodeExtentsNiko Matsakis-130/+130
2017-04-30remove ROOT_CODE_EXTENT and DUMMY_CODE_EXTENTNiko Matsakis-12/+15
2017-04-30On-demandify region mappingTaylor Cramer-8/+8
2017-04-24rustc: rename some of the queries to match tcx methods.Eduard-Mihai Burtescu-2/+2
2017-04-22avoid calling `mk_region` unnecessarilyAriel Ben-Yehuda-5/+5
2017-04-19propagate other obligations that were left outNiko Matsakis-3/+7
2017-04-15rustc: ban registering obligations during InferCtxt snapshots.Eduard-Mihai Burtescu-28/+28
2017-04-13Auto merge of #40570 - nikomatsakis:inference-subtype-through-obligation, r=a...bors-387/+360
2017-04-12simplify code to remove now unused "stack" and fix commentsNiko Matsakis-92/+54
2017-04-12do not consult union-find during `fudge_regions_if_ok`Niko Matsakis-23/+7
2017-04-11generalize type variables tooNiko Matsakis-46/+197
2017-04-11avoid unneeded subtype obligations in lub/glbNiko Matsakis-1/+27
2017-04-11add FIXME for bivariant lub/glbNiko Matsakis-0/+2
2017-04-11add FIXME to #18653Niko Matsakis-0/+3
2017-04-11remove the subtyping relations from TypeVariableNiko Matsakis-127/+47
2017-04-11use obligations to propagate sub-typing instead of the TV codeNiko Matsakis-4/+21
2017-04-11add Subtype predicateNiko Matsakis-1/+38
2017-04-11remove bivarianceNiko Matsakis-133/+4
2017-04-11Highlight and simplify mismatched typesEsteban Küber-9/+281
2017-03-30add a `TypeVariableOrigin` we'll use later (`DerivingFn`)Niko Matsakis-0/+1
2017-03-30add some debug logs to type_variable.rsNiko Matsakis-1/+3
2017-03-26store a copy of the Issue32230 info within TypeErrorAriel Ben-Yehuda-25/+35
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 05:25:07 +0000