about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2019-01-02make evaluation track whether outlives relationships matteredNiko Matsakis-1/+1
2018-12-29Use `same_type` instead of duplicating logicEsteban Küber-19/+12
2018-12-28Suggest `.as_ref()` when appropriate for `Option` and `Result`Esteban Küber-0/+74
2018-12-27Use `TraitEngine` in `enter_canonical_trait_query`scalexm-8/+12
2018-12-27Integrate chalk enginescalexm-3/+36
2018-12-25Remove licensesMark Rousskov-390/+0
2018-12-20Auto merge of #56219 - arielb1:never-coerce-box, r=nikomatsakisbors-0/+4
2018-12-19Auto merge of #54252 - arielb1:deref-query, r=nikomatsakisbors-0/+25
2018-12-19Auto merge of #56601 - Zoxc:lifetime-killer, r=nikomatsakisbors-2/+7
2018-12-18Auto merge of #56481 - arielb1:dynamic-order, r=nikomatsakisbors-4/+55
2018-12-17trigger unsized coercions keyed on Sized boundsAriel Ben-Yehuda-0/+4
2018-12-16Rollup merge of #56742 - ljedrz:remove_query_response_box, r=oli-obkMazdak Farrokhzad-26/+25
2018-12-15address review commentsAriel Ben-Yehuda-3/+1
2018-12-15implement "isolated" autoderef using the Canonical mechanismAriel Ben-Yehuda-0/+27
2018-12-14add coherence future-compat warnings for marker-only trait objectsAriel Ben-Yehuda-4/+55
2018-12-13Some changesJohn Kåre Alsaker-0/+2
2018-12-13Make the 'a lifetime on TyCtxt uselessJohn Kåre Alsaker-2/+5
2018-12-12Account for `impl Trait` when suggesting lifetimeEsteban Küber-11/+20
2018-12-12infer: remove Box from a returned Iteratorljedrz-26/+25
2018-12-08Auto merge of #56578 - alexreg:cosmetic-1, r=alexregbors-21/+21
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-21/+21
2018-12-07Auto merge of #56258 - euclio:fs-read-write, r=eucliobors-3/+2
2018-12-07use top level `fs` functions where appropriateAndy Russell-3/+2
2018-12-06Use a function to access the Hir map to be able to turn it into a query laterJohn Kåre Alsaker-40/+40
2018-12-01Rollup merge of #56214 - scalexm:unification, r=nikomatsakiskennytm-96/+226
2018-11-29Add inline attributes and add unit to CommonTypesJohn Kåre Alsaker-0/+2
2018-11-29Correctly generalize inference variables in `nll_relate`scalexm-11/+6
2018-11-29Fix doc commentsscalexm-5/+5
2018-11-29Handle inference variables in `nll_relate` and use it for chalkscalexm-96/+231
2018-11-29Rollup merge of #56257 - mark-i-m:rustc-guide-links, r=nikomatsakisGuillaume Gomez-11/+11
2018-11-26rustc-guide has movedMark Mansi-11/+11
2018-11-26Put all existential ty vars in the `ROOT` universescalexm-6/+12
2018-11-25Auto merge of #55906 - nnethercote:rm-OpenSnapshot-CommittedSnapshot, r=nikom...bors-51/+44
2018-11-25Remove `OpenSnapshot` and `CommittedSnapshot` markers from `RegionConstraintC...Nicholas Nethercote-42/+32
2018-11-25Introduce `in_snapshot` and `assert_open_snapshot` methods.Nicholas Nethercote-4/+7
2018-11-25Make `commit` and `rollback_to` methods take ownership of the snapshots.Nicholas Nethercote-1/+1
2018-11-25Rename `UndoLogEntry` as `UndoLog`.Nicholas Nethercote-6/+6
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-8/+8
2018-11-24Instantiate all bound vars universallyscalexm-19/+30
2018-11-24Handle placeholder types in canonicalizationscalexm-20/+83
2018-11-24Add `HAS_TY_PLACEHOLDER` flagscalexm-2/+6
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-3/+4
2018-11-24Distinguish between placeholder kindsscalexm-7/+7
2018-11-21rustc: implement and use Default on more types.Eduard-Mihai Burtescu-11/+3
2018-11-21rustc: remove {FxHash,Node,DefId,HirId,ItemLocal}{Map,Set} "constructor" fns.Eduard-Mihai Burtescu-1/+1
2018-11-19Rollup merge of #56043 - nikomatsakis:issue-55756-via-outlives, r=eddybPietro Albini-7/+23
2018-11-19Rollup merge of #55953 - blitzerr:master, r=nikomatsakisPietro Albini-3/+3
2018-11-18remove "approx env bounds" if we already know from traitNiko Matsakis-7/+23
2018-11-15Rollup merge of #55901 - euclio:speling, r=petrochenkovPietro Albini-9/+9
2018-11-15Rollup merge of #55778 - nnethercote:LrcPreds, r=eddybPietro Albini-2/+2