about summary refs log tree commit diff
path: root/src/librustc/traits/fulfill.rs
AgeCommit message (Expand)AuthorLines
2020-02-16Move librustc/{traits,infer} to librustc_infer.Camille GILLOT-577/+0
2020-01-22Use a `ParamEnvAnd<Predicate>` for caching in `ObligationForest`Aaron Hill-3/+6
2020-01-21Rollup merge of #68140 - ecstatic-morse:const-trait-bound-opt-out, r=oli-obkMazdak Farrokhzad-1/+1
2020-01-20Add `constness` field to `ty::Predicate::Trait`Dylan MacKenzie-1/+1
2020-01-16Revert previous attempt at detecting unsatisfiable predicatesAaron Hill-22/+2
2020-01-13Use TraitQueryMode::Canonical when testing predicates in const propAaron Hill-2/+22
2020-01-10Promote `Ref`s to constants instead of staticSantiago Pastorino-0/+1
2020-01-07Move ty::wf to traits.Camille GILLOT-1/+2
2019-12-22Format the worldMark Rousskov-105/+123
2019-12-22Add simpler entry points to const eval for common usages.Ben Lewis-22/+7
2019-12-11Change `PendingPredicateObligation::stalled_on`'s type.Nicholas Nethercote-11/+19
2019-09-27Remove global_tcx from TyCtxtMark Rousskov-1/+1
2019-09-25Rename `sty` to `kind`varkor-1/+1
2019-09-20Specialize the `stalled_on` handling in `process_obligation()`.Nicholas Nethercote-19/+36
2019-09-19Add a specialized version of `shallow_resolve()`.Nicholas Nethercote-3/+1
2019-09-19Use explicit iteration instead of `all()` in `process_obligation()`.Nicholas Nethercote-4/+11
2019-09-09Shrink `ObligationCauseCode` by boxing `IfExpression`.Nicholas Nethercote-1/+1
2019-09-09Shrink `ObligationCauseCode` by boxing `MatchExpressionArm`.Nicholas Nethercote-1/+1
2019-09-09Add some assertions on obligation type sizes.Nicholas Nethercote-0/+4
2019-08-19review commentsEsteban Küber-2/+2
2019-08-19Use constraint span when lowering associated typesEsteban Küber-7/+10
2019-06-26Don't use lift to detect local typesJohn Kåre Alsaker-32/+26
2019-06-18rustc: remove 'x: 'y bounds (except from comments/strings).Eduard-Mihai Burtescu-1/+1
2019-06-14Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-24/+27
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-14/+14
2019-05-28Rename `OpportunisticTypeResolver` to `OpportunisticVarResolver`varkor-5/+5
2019-05-01Create ShallowResolvervarkor-4/+4
2019-05-01Rename *shallow_resolve to *shallow_resolve_typevarkor-2/+2
2019-04-25Update existing usagesvarkor-1/+1
2019-03-12add a useful debug printoutNiko Matsakis-0/+2
2019-02-21introduce a dummy leak check and invoke it in all the right placesNiko Matsakis-2/+4
2019-02-10rustc: doc commentsAlexander Regueiro-3/+3
2019-02-05move librustc to 2018Mark Mansi-4/+4
2019-01-02universe transitionNiko Matsakis-4/+2
2019-01-02make evaluation track whether outlives relationships matteredNiko Matsakis-1/+1
2018-12-27Integrate chalk enginescalexm-28/+6
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-14process nested obligations in autoderefAriel Ben-Yehuda-3/+23
2018-11-07Rollup merge of #55501 - nnethercote:DoCompleted, r=pnkfelixkennytm-3/+4
2018-11-03Rename `Binder::no_late_bound_regions` to `Binder::no_bound_vars`scalexm-4/+4
2018-11-03Shift both late bound regions and bound typesscalexm-1/+1
2018-10-30Make `process_obligations`' computation of `completed` optional.Nicholas Nethercote-3/+4
2018-10-25preserve const eval error information through trait error systemRalf Jung-4/+6
2018-10-25Report const eval error inside the queryOliver Schneider-11/+3
2018-10-01enable using the evaluation cache on predicates with LBRsAriel Ben-Yehuda-1/+1
2018-10-01handle outlives predicates in trait evaluationAriel Ben-Yehuda-0/+1
2018-09-30Typos and style fixes.Diogo Sousa-2/+1
2018-09-26change `RegionObligation` to store a `SubregionOrigin`Niko Matsakis-15/+11
2018-09-18A few cleanups and minor improvements to rustc/traitsljedrz-1/+1
2018-08-30Rollup merge of #53513 - nnethercote:inline-shallow_resolve, r=varkorPietro Albini-1/+2