summary refs log tree commit diff
path: root/src/librustc/traits/query
AgeCommit message (Expand)AuthorLines
2018-07-31assert no region obligations on entering custom type opNiko Matsakis-0/+13
2018-07-25Change ManuallyDrop from an union to a struct and make it a lang item.Eduard-Mihai Burtescu-1/+4
2018-07-21use proper body-id and span when solving obligationsNiko Matsakis-2/+2
2018-07-21skip no-op obligations and add a little debug outputNiko Matsakis-1/+3
2018-07-21Convert implied_outlives_bounds to a queryTyler Mandry-0/+170
2018-07-17Avoid most allocations in `Canonicalizer`.Nicholas Nethercote-6/+15
2018-06-28Rebase falloutOliver Schneider-1/+1
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-1/+1
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-2/+1
2018-06-28Auto merge of #51538 - nikomatsakis:nll-perf-examination, r=eddybbors-88/+798
2018-06-27rustfmt various filesNiko Matsakis-5/+9
2018-06-27change the `enter_canonical_trait_query` method to give a fulfill cxNiko Matsakis-1/+1
2018-06-27update commentsNiko Matsakis-3/+15
2018-06-27rename `prequery` to `try_fast_path`Niko Matsakis-7/+7
2018-06-27pull out `ParamEnvAnd` and remove `QueryKey`Niko Matsakis-153/+150
2018-06-27rename to `shrink_to_tcx_lifetime`Niko Matsakis-13/+13
2018-06-27improve comments on `dropck_outlives`Niko Matsakis-0/+15
2018-06-27rename `upcast` to `cast_to_tcx_lifetime` and improve commentNiko Matsakis-16/+21
2018-06-26convert query-type-op to create query-region-constraint directlyNiko Matsakis-148/+133
2018-06-26convert `dropck_outlives` type-op to use the queryNiko Matsakis-32/+67
2018-06-26introduce `QueryKey` separationNiko Matsakis-3/+27
2018-06-26transition to `Fallible`Niko Matsakis-33/+55
2018-06-26introduce `Normalizable` trait for things directly normalizableNiko Matsakis-41/+180
2018-06-26convert `prove_predicate` into a queryNiko Matsakis-14/+38
2018-06-26convert `predicates` to operate on 1 predicate at a timeNiko Matsakis-19/+12
2018-06-26make `Subtype` a true queryNiko Matsakis-13/+41
2018-06-26make `Eq` a true queryNiko Matsakis-22/+13
2018-06-26introduce `canonicalize_hr_query_hack`Niko Matsakis-1/+5
2018-06-26move `type_op` into `rustc`Niko Matsakis-0/+495
2018-06-26remove `Canonicalization` trait, which serves no purposeNiko Matsakis-42/+5
2018-06-26rename `instantiate_query_result`Niko Matsakis-2/+2
2018-06-26make one `Canonicalize` impl for `QueryResult`Niko Matsakis-28/+2
2018-06-26improve `trivial_case` handlingNiko Matsakis-1/+1
2018-06-26Use proper debugging statements for infinite recursion assertionOliver Schneider-3/+3
2018-06-07Add existential type definitonsOliver Schneider-0/+5
2018-06-02Fix typos of 'ambiguous'Jon Purdy-1/+1
2018-05-17Rename trans to codegen everywhere.Irina Popa-2/+2
2018-04-30make needs_infer specific to inference variablesNiko Matsakis-1/+1
2018-04-26Retry canonical trait query in standard mode if overflow occursAravind Gollakota-8/+24
2018-04-26Create a canonical trait query for `evaluate_obligation`Aravind Gollakota-0/+58
2018-04-10Make recursion_limit and type_length_limit thread-safeJohn Kåre Alsaker-1/+1
2018-03-23Rollup merge of #49030 - Zoxc:misc, r=michaelwoeristerAlex Crichton-6/+6
2018-03-17Replace Rc with LrcJohn Kåre Alsaker-6/+6
2018-03-16extend stable hasher to support `CanonicalTy`Niko Matsakis-0/+1
2018-03-14Fixes after rebaseAndrew Cann-1/+1
2018-03-13short-circuit `dropck_outlives` for simple casesNiko Matsakis-2/+72
2018-03-13add some debug outputNiko Matsakis-1/+15
2018-03-13introduce `tcx.normalize_erasing_regions(..)` operaton [VIC]Niko Matsakis-0/+82
2018-03-13introduce `infcx.at(..).dropck_outlives(..)` operaton [VIC]Niko Matsakis-1/+197
2018-03-13introduce `infcx.at(..).normalize(..)` operation [VIC]Niko Matsakis-0/+299
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-03 20:10:30 +0000